DrJavaAtRice
diff --git a/‎drjava/lib/jacocoagent.jar‎
253 KB b/‎drjava/lib/jacocoagent.jar‎
253 KB
diff --git a/‎drjava/lib/jacocoant.jar‎
4 KB b/‎drjava/lib/jacocoant.jar‎
4 KB
diff --git a/‎drjava/lib/org.jacoco.agent-0.7.10.201707180856.jar‎
231 KB b/‎drjava/lib/org.jacoco.agent-0.7.10.201707180856.jar‎
231 KB
diff --git a/‎drjava/lib/org.jacoco.agent-0.7.7.201606060606.jar‎
-233 KB b/‎drjava/lib/org.jacoco.agent-0.7.7.201606060606.jar‎
-233 KB
diff --git a/‎drjava/lib/org.jacoco.ant-0.7.10.201707180856.jar‎
31.1 KB b/‎drjava/lib/org.jacoco.ant-0.7.10.201707180856.jar‎
31.1 KB
diff --git a/‎drjava/lib/org.jacoco.ant-0.7.7.201606060606.jar‎
-38 KB b/‎drjava/lib/org.jacoco.ant-0.7.7.201606060606.jar‎
-38 KB
diff --git a/‎drjava/lib/org.jacoco.core-0.7.10.201707180856.jar‎
143 KB b/‎drjava/lib/org.jacoco.core-0.7.10.201707180856.jar‎
143 KB
diff --git a/‎drjava/lib/org.jacoco.core-0.7.7.201606060606.jar‎
-135 KB b/‎drjava/lib/org.jacoco.core-0.7.7.201606060606.jar‎
-135 KB
diff --git a/‎…org.jacoco.report-0.7.7.201606060606.jar‎ ‎…rg.jacoco.report-0.7.10.201707180856.jar‎drjava/lib/org.jacoco.report-0.7.7.201606060606.jar renamed to drjava/lib/org.jacoco.report-0.7.10.201707180856.jar
138 KB b/‎…org.jacoco.report-0.7.7.201606060606.jar‎ ‎…rg.jacoco.report-0.7.10.201707180856.jar‎drjava/lib/org.jacoco.report-0.7.7.201606060606.jar renamed to drjava/lib/org.jacoco.report-0.7.10.201707180856.jar
138 KB
diff --git a/‎drjava/src/edu/rice/cs/drjava/config/Configuration.java‎
Lines changed: 12 additions & 12 deletions b/‎drjava/src/edu/rice/cs/drjava/config/Configuration.java‎
Lines changed: 12 additions & 12 deletions
@@ -75,24 +75,24 @@ public <T> T setSetting(final Option<T> op, final T value) {
   }
 
   /** Gets the current value of the given Option. 
-   * @param <T> type of the option
-   * @param op option to get
-   * @return the value for the option
-   */
+    * @param <T> type of the option
+    * @param op option to get
+    * @return the value for the option
+    */
   public <T> T getSetting(Option<T> op) { return map.getOption(op); }
 
   /** By default, all options are editable. 
-   * @param <T> type of the option
-   * @param op option to check editability of
-   * @return true if op is editable, false otherwise
-   */
+    * @param <T> type of the option
+    * @param op option to check editability of
+    * @return true if op is editable, false otherwise
+    */
   public <T> boolean isEditable(Option<T> op) { return true; }
 
   /** Adds an OptionListener to the given Option, to be notified each time the option changes.
-   * @param <T> type of the option
-   * @param op Option to listen for changes on
-   * @param l OptionListener wishing to listen
-   */
+    * @param <T> type of the option
+    * @param op Option to listen for changes on
+    * @param l OptionListener wishing to listen
+    */
   public <T> void addOptionListener(Option<T> op, OptionListener<T> l) { op.addListener(this,l); }
 
   /** Removes an OptionListener from an Option to which it was listening.