Eugene Yokota 0906b2d7ac fix: Use JDK path, not JRE path ... **Problem** There are a few places where javaHome or java path is set, using java.home system property. The problem is that it points to JRE, not JDK, so it would break on Java compilation etc. **Solution** If the path ends with jre, go up one directory.		2024-12-15 02:47:35 -05:00
..
src	fix: Use JDK path, not JRE path	2024-12-15 02:47:35 -05:00
NOTICE	Transfer copyright to Scala Center	2023-06-20 16:39:07 +02:00