Merge branch 'refs/heads/develop' into failed-jars-branch-20241014

soot-oss · Jan 9, 2025 · 0d7d55b · 0d7d55b
2 parents a887000 + 31e67ba
commit 0d7d55b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/sootup.jimple.frontend/src/main/java/sootup/jimple/frontend/JimpleView.java b/sootup.jimple.frontend/src/main/java/sootup/jimple/frontend/JimpleView.java
@@ -129,11 +129,11 @@ Optional<SootClass> getAbstractClass(@Nonnull ClassType type) {
                   .collect(Collectors.joining(",")),
           foundClassSources.get(0).getSourcePath());
     }
-    return buildClassFrom(foundClassSources.get(0));
+    return Optional.of(buildClassFrom(foundClassSources.get(0)));
   }
 
   @Nonnull
-  private synchronized Optional<SootClass> buildClassFrom(AbstractClassSource classSource) {
+  private synchronized SootClass buildClassFrom(AbstractClassSource classSource) {
 
     ClassType classType = classSource.getClassType();
     SootClass theClass;
@@ -144,7 +144,7 @@ private synchronized Optional<SootClass> buildClassFrom(AbstractClassSource clas
       theClass = cache.getClass(classType);
     }
 
-    return Optional.of(theClass);
+    return theClass;
   }
 
   private synchronized void resolveAll() {