diff --git a/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java b/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java
index d5b4331e1..b6362045b 100644
--- a/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java
+++ b/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java
@@ -18,7 +18,6 @@
 import com.github.javaparser.symbolsolver.resolution.typesolvers.ClassLoaderTypeSolver;
 import com.google.common.truth.Truth;
 import org.junit.jupiter.api.Assertions;
-import org.junit.jupiter.api.Disabled;
 import org.junit.jupiter.api.Test;
 
 import java.io.File;
@@ -53,7 +52,6 @@ class NameResolutionTest {
     }
     */
     @Test
-    @Disabled("Repair")
     void contractMemberVariable() throws IOException {
         loadAndResolveAll("ResolutionTest.java");
         /*JmlContract contract = declaration.getMethodsByName("foo").get(0).getContracts().get().get(0);
@@ -109,7 +107,6 @@ void contractMemberVariable() throws IOException {
     }
 
     @Test
-    @Disabled("Repair")
     void jmlBinderExpression() throws IOException {
         loadAndResolveAll("JmlQuantifiedExprResolutionTest.java");
     }
@@ -120,7 +117,6 @@ void jmlBinderExpression_static() throws IOException {
     }
 
     @Test
-    @Disabled("Repair")
     void locals() throws IOException {
         loadAndResolveAll("Locals.java");
     }
diff --git a/tools/lsp/src/test/kotlin/tests.kt b/tools/lsp/src/test/kotlin/tests.kt
index feb4dfecb..19f6f2a23 100644
--- a/tools/lsp/src/test/kotlin/tests.kt
+++ b/tools/lsp/src/test/kotlin/tests.kt
@@ -68,7 +68,6 @@ class HoverTest {
 
 class CodeActionTests {
     @Test
-    @Disabled("investigate")
     fun test1() {
         val file = TextDocumentIdentifier(File(workspace, "Example.java").toUri)
         val params = CodeActionParams(
@@ -97,7 +96,6 @@ class FileDiagnosticTests {
 }
 
 class DeclarationTests {
-    @Disabled("investigate")
     @Test
     fun test1() {
         val file = TextDocumentIdentifier(File(workspace, "Declarations.java").toUri)