DrJavaAtRice
diff --git a/‎drjava/lib/dynamicjava-base.jar‎
0 Bytes b/‎drjava/lib/dynamicjava-base.jar‎
0 Bytes
diff --git a/‎drjava/lib/javalanglevels-base.jar‎
27 Bytes b/‎drjava/lib/javalanglevels-base.jar‎
27 Bytes
diff --git a/‎drjava/lib/platform.jar‎
2.27 KB b/‎drjava/lib/platform.jar‎
2.27 KB
diff --git a/‎drjava/lib/plt.jar‎
18 Bytes b/‎drjava/lib/plt.jar‎
18 Bytes
diff --git a/‎drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java‎
Lines changed: 1 addition & 1 deletion b/‎drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎drjava/src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java‎
Lines changed: 1 addition & 1 deletion b/‎drjava/src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎drjava/src/edu/rice/cs/drjava/ui/DrJavaErrorHandler.java‎
Lines changed: 1 addition & 1 deletion b/‎drjava/src/edu/rice/cs/drjava/ui/DrJavaErrorHandler.java‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎dynamicjava/lib/plt.jar‎
18 Bytes b/‎dynamicjava/lib/plt.jar‎
18 Bytes
diff --git a/‎eclipse/lib/plt.jar‎
18 Bytes b/‎eclipse/lib/plt.jar‎
18 Bytes
diff --git a/‎javalanglevels/lib/plt.jar‎
18 Bytes b/‎javalanglevels/lib/plt.jar‎
18 Bytes
@@ -2896,7 +2896,7 @@ public boolean inNewProjectPath(File projRoot) {
     /** @return true if this has a legal source file name (ends in extension ".java", ".dj0", ".dj1", or ".dj2". */
     public boolean isSourceFile() {
       if (isUntitled()) return false;  // assert _file != null
-      return DrJavaFileUtils.isSourceFile(_file.getName());
+      return DrJavaFileUtils.isSourceFile(_file.getName()); // TODO: allow .hj files
     }
 
     /** Returns whether this document is currently untitled (indicating whether it has a file yet or not).
 
@@ -238,7 +238,7 @@ private void _doCompile(List<OpenDefinitionsDocument> docs) throws IOException {
     final ArrayList<File> excludedFiles = new ArrayList<File>();
     final ArrayList<DJError> packageErrors = new ArrayList<DJError>();
     for (OpenDefinitionsDocument doc : docs) {
-      if (doc.isSourceFile()) {
+      if (true) { //if (doc.isSourceFile()) { // TODO: allow .hj files
         File f = doc.getFile();
         // Check for null in case the file is untitled (not sure this is the correct check)
         if (f != null && f != FileOps.NULL_FILE) { filesToCompile.add(f); }
 
@@ -139,7 +139,7 @@ else if (isSwingBugArrayIndexOufOfBoundsExceptionInCharWidth(thrown)) {
     * https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2831821&group_id=44253
     * @return true if this is the Swing bug */
   public static boolean isSwingBugArrayIndexOufOfBoundsExceptionInCharWidth(Throwable thrown) {
-    // only ignore on Sun JVMs
+    // only ignore on Sun/Oracle JVMs
     if (!edu.rice.cs.plt.reflect.JavaVersion.CURRENT_FULL.vendor().
           equals(edu.rice.cs.plt.reflect.JavaVersion.VendorType.SUN)) return false;
Original file line number	Diff line number	Diff line change
`@@ -2896,7 +2896,7 @@ public boolean inNewProjectPath(File projRoot) {`
`2896`	`2896`	`/** @return true if this has a legal source file name (ends in extension ".java", ".dj0", ".dj1", or ".dj2". */`
`2897`	`2897`	`public boolean isSourceFile() {`
`2898`	`2898`	`if (isUntitled()) return false; // assert _file != null`
`2899`		`- return DrJavaFileUtils.isSourceFile(_file.getName());`
	`2899`	`+ return DrJavaFileUtils.isSourceFile(_file.getName()); // TODO: allow .hj files`
`2900`	`2900`	`}`
`2901`	`2901`
`2902`	`2902`	`/** Returns whether this document is currently untitled (indicating whether it has a file yet or not).`