[MIN] NumberOption.value → private

Author: ChristianGruen

basex-api/src/test/java/org/basex/api/xmldb/XMLDBBaseTest.java

@@ -21,7 +21,7 @@ public abstract class XMLDBBaseTest extends SandboxTest {
   static final String DRIVER = BXDatabase.class.getName();
   /** Database/document path. */
   static final String URL =
-      "xmldb:" + Prop.PROJECT_NAME + "://" + S_LOCALHOST + ':' + StaticOptions.PORT.value + '/';
+      "xmldb:" + Prop.PROJECT_NAME + "://" + S_LOCALHOST + ':' + StaticOptions.PORT.value() + '/';
   /** Name of the collection. */
   static final String COLL = "XMLDB";
   /** Database/document path. */

basex-core/src/main/java/org/basex/gui/dialog/DialogColors.java

@@ -79,9 +79,9 @@ private BaseXSlider newSlider(final NumberOption option) {
   public void action(final Object comp) {
     if(comp instanceof BaseXButton) {
       // reset default values
-      sliderRed.setValue(GUIOptions.COLORRED.value);
-      sliderGreen.setValue(GUIOptions.COLORGREEN.value);
-      sliderBlue.setValue(GUIOptions.COLORBLUE.value);
+      sliderRed.setValue(GUIOptions.COLORRED.value());
+      sliderGreen.setValue(GUIOptions.COLORGREEN.value());
+      sliderBlue.setValue(GUIOptions.COLORBLUE.value());
     }
     sliderRed.assign();
     sliderGreen.assign();

basex-core/src/main/java/org/basex/util/options/NumberOption.java

@@ -8,7 +8,7 @@
  */
 public final class NumberOption extends Option<Integer> {
   /** Default value. */
-  public final Integer value;
+  private final Integer value;
 
   /**
    * Default constructor.