chiark / gitweb /
common: do not crash if the java_paths are not what is expected