diff -r -N -u orig/src/org/eclipse/jdt/internal/compiler/batch/Main.java patched/src/org/eclipse/jdt/internal/compiler/batch/Main.java --- orig/src/org/eclipse/jdt/internal/compiler/batch/Main.java 2007-06-13 20:22:26.534800570 +0700 +++ patched/src/org/eclipse/jdt/internal/compiler/batch/Main.java 2007-06-13 20:38:16.035860106 +0700 @@ -2425,6 +2425,10 @@ directoriesToCheck = new File[] { new File(javaHome, "../Classes"), //$NON-NLS-1$ }; + } else if (System.getProperty("java.vm.name").equals("DRLVM")){ + directoriesToCheck = new File[] { + new File(javaHome, "lib/boot") //$NON-NLS-1$ + }; } else { directoriesToCheck = new File[] { new File(javaHome, "lib") //$NON-NLS-1$