diff --git a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/StackFramePresentationProvider.java b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/StackFramePresentationProvider.java
index 7a8ad5940b..8277e23aa3 100644
--- a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/StackFramePresentationProvider.java
+++ b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/StackFramePresentationProvider.java
@@ -37,7 +37,7 @@
  * preference storage.
  *
  */
-public class StackFramePresentationProvider implements IPropertyChangeListener, AutoCloseable {
+public final class StackFramePresentationProvider implements IPropertyChangeListener {
 
 	private final static EnumMap<Category, String> fgKeyMap = new EnumMap<>(Map.of(
 			Category.CUSTOM_FILTERED, IJDIPreferencesConstants.PREF_CUSTOM_FILTERED_STACK_FRAME_FG_COLOR,
@@ -267,7 +267,6 @@ private Category categorizeSourceElement(IJavaStackFrame frame) {
 		return Category.UNKNOWN;
 	}
 
-	@Override
 	public void close() {
 		store.removePropertyChangeListener(this);
 	}