DrJavaAtRice
diff --git a/‎drjava/lib/platform.jar‎
247 Bytes b/‎drjava/lib/platform.jar‎
247 Bytes
diff --git a/‎drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java‎
Lines changed: 4 additions & 0 deletions b/‎drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java‎
Lines changed: 4 additions & 0 deletions
diff --git a/‎platform/classes/base-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler$1.class‎
0 Bytes b/‎platform/classes/base-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler$1.class‎
0 Bytes
diff --git a/‎platform/classes/base-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler$2.class‎
0 Bytes b/‎platform/classes/base-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler$2.class‎
0 Bytes
diff --git a/‎platform/classes/base-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler$CompilerErrorListener.class‎
0 Bytes b/‎platform/classes/base-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler$CompilerErrorListener.class‎
0 Bytes
diff --git a/‎platform/classes/base-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler.class‎
991 Bytes b/‎platform/classes/base-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler.class‎
991 Bytes
diff --git a/‎platform/src-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler.java‎
Lines changed: 296 additions & 276 deletions b/‎platform/src-eclipse/edu/rice/cs/drjava/model/compiler/EclipseCompiler.java‎
Lines changed: 296 additions & 276 deletions
@@ -1478,6 +1478,10 @@ private void _setupCompilerPanel(ConfigPanel panel) {
                                                   "<html>Warn about <code>switch</code> block cases that fall through to the next case.</html>", 
                                                   false)
                          .setEntireColumn(true));
+    addOptionComponent(panel, 
+                       new LabelComponent("<html><br><br>Note: Some of these options may not be effective, depending on the<br>"+
+                                          "compiler you are using.</html>",
+                                          this, true));
     /*
      * The drop down box containing the compiler names
      */