I just noticed that sometimes, the JVM is started ...

# kobalt

[cedric]

I just noticed that sometimes, the JVM is started with java.home set to the JRE, not the JDK, and there’s no tools.jar in the JRE. My commit from this morning tries to work around that