reformat fix finalize() deprecation

KeYProject · Nov 23, 2024 · 0eec2d4 · 0eec2d4
1 parent cc91a9c
commit 0eec2d4
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 41 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/proof/io/AbstractProblemLoader.java b/key.core/src/main/java/de/uka/ilkd/key/proof/io/AbstractProblemLoader.java
@@ -6,22 +6,6 @@
 import java.io.File;
 import java.io.FileNotFoundException;
 import java.io.IOException;
-import java.net.URI;
-import java.nio.file.*;
-import java.util.*;
-import java.util.function.Consumer;
-import java.util.stream.Collectors;
-import java.util.stream.Stream;
-import java.util.zip.ZipFile;
-
-import de.uka.ilkd.key.java.Position;
-import java.io.ByteArrayInputStream;
-import java.io.File;
-import java.io.FileNotFoundException;
-import java.io.IOException;
-import java.lang.reflect.InvocationTargetException;
-import java.lang.reflect.Method;
-import java.nio.charset.StandardCharsets;
 import java.nio.file.*;
 import java.util.*;
 import java.util.function.Consumer;
@@ -54,9 +38,6 @@
 import org.key_project.util.collection.Pair;
 import org.key_project.util.java.IOUtil;
 
-import org.antlr.runtime.MismatchedTokenException;
-import org.key_project.util.reflection.ClassLoaderUtil;
-
 import org.antlr.runtime.MismatchedTokenException;
 import org.jspecify.annotations.Nullable;
 import org.slf4j.Logger;

diff --git a/key.core/src/main/java/de/uka/ilkd/key/proof/mgt/ProofCorrectnessMgt.java b/key.core/src/main/java/de/uka/ilkd/key/proof/mgt/ProofCorrectnessMgt.java
@@ -266,14 +266,6 @@ public ProofStatus getStatus() {
         return proofStatus;
     }
 
-    @Override
-    protected void finalize() throws Throwable {
-        removeProofListener();
-        super.finalize();
-    }
-
-
-
     // -------------------------------------------------------------------------
     // inner classes
     // -------------------------------------------------------------------------

diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentView.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentView.java
@@ -242,11 +242,6 @@ public void removeNotify() {
         unregisterListener();
     }
 
-    @Override
-    protected void finalize() {
-        dispose();
-    }
-
     /**
      * Dispose this SequentView.
      * Before calling this method, the view should be removed from the UI.
@@ -257,12 +252,6 @@ public void dispose() {
             printer = null;
         } catch (Throwable e) {
             mainWindow.notify(new GeneralFailureEvent(e.getMessage()));
-        } finally {
-            try {
-                super.finalize();
-            } catch (Throwable e) {
-                mainWindow.notify(new GeneralFailureEvent(e.getMessage()));
-            }
         }
     }
 

diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java
@@ -327,9 +327,7 @@ public void setExpandOSSNodes(boolean expandOSSNodes) {
         this.expandOSSNodes = expandOSSNodes;
     }
 
-    @Override
-    protected void finalize() throws Throwable {
-        super.finalize();
+    protected void dispose() throws Throwable {
         Config.DEFAULT.removeConfigChangeListener(configChangeListener);
         NodeInfoVisualizer.removeListener(nodeInfoVisListener);
     }