Revert "Merge remote-tracking branch 'origin/securibench'"

This reverts commit 24f46e0, reversing
changes made to e9d4fe5.

build.gradle

@@ -111,7 +111,7 @@ publishing {
         maven(MavenPublication) {
             groupId = 'edu.ucr.cs.riple.taint'
             artifactId = 'ucrtainting-checker'
-            version = '0.3-SNAPSHOT-securibench'
+            version = '0.3-SNAPSHOT'
 
             from components.java
         }

src/main/java/edu/ucr/cs/riple/taint/ucrtainting/UCRTaintingChecker.java

@@ -43,17 +43,17 @@
 
 /** This is the entry point for pluggable type-checking. */
 @StubFiles({
-//  "stubs/apache.commons.io.astub",
-//  "stubs/apache.commons.lang.astub",
-//  "stubs/codeql.astub",
-//  "stubs/Connection.astub",
-//  "stubs/Files.astub",
-//  "stubs/find-sec-bugs-sanitizers.astub",
-  "stubs/securibench.astub",
-//  "stubs/httpservletreq.astub",
+  "stubs/apache.commons.io.astub",
+  "stubs/apache.commons.lang.astub",
+  "stubs/codeql.astub",
+  "stubs/Connection.astub",
+  "stubs/Files.astub",
+  "stubs/find-sec-bugs-sanitizers.astub",
+  "stubs/general.astub",
+  "stubs/httpservletreq.astub",
   //  "stubs/StringBuffer.astub",
-//  "stubs/taintedMethods.astub",
-//  "stubs/tdmljp.astub",
+  "stubs/taintedMethods.astub",
+  "stubs/tdmljp.astub",
 })
 @SupportedOptions({
   UCRTaintingChecker.ANNOTATED_PACKAGES,