From 533a2a4a4c93c345e16788265fc9c06dc7783b5b Mon Sep 17 00:00:00 2001
From: ignazio <ignazio.palmisano@gmail.com>
Date: Tue, 18 Feb 2020 20:40:46 +0000
Subject: [PATCH] Fix Undo unnecessary finals #6

---
 src/main/java/org/semanticweb/HermiT/Configuration.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/main/java/org/semanticweb/HermiT/Configuration.java b/src/main/java/org/semanticweb/HermiT/Configuration.java
index 2d7659e0..d3579652 100644
--- a/src/main/java/org/semanticweb/HermiT/Configuration.java
+++ b/src/main/java/org/semanticweb/HermiT/Configuration.java
@@ -171,14 +171,14 @@ public static enum ExistentialStrategyType {
      * warning() method of the interface, e.g., if it ignores an unsupported datatype. HermiT does not provide an
      * implementation for the interface itself though.
      */
-    public final WarningMonitor warningMonitor;
+    public WarningMonitor warningMonitor;
     /**
      * If a progress monitor is set, HermiT will report the progress of a classification task. This is used for
      * example by Protege.
      */
     public ReasonerProgressMonitor reasonerProgressMonitor;
     /**tableau monitor type*/
-    public final TableauMonitorType tableauMonitorType;
+    public TableauMonitorType tableauMonitorType;
     /**direct blocking type*/
     public DirectBlockingType directBlockingType;
     /**blocking strategy type*/
@@ -237,7 +237,7 @@ public static enum ExistentialStrategyType {
      * The default value is false and HermiT will use a specialiased classification strategy for deterministic ontologies, which often is faster, but not always.
      * If the value is set to true, then HermiT will use the Quasi Ordering Classification method even for deterministic ontologies.
      */
-    public final boolean forceQuasiOrderClassification;
+    public boolean forceQuasiOrderClassification;
 
     /**Create configuration.*/
     public Configuration() {