From 3ed474c0ccebdcc65aa64bc7328d4740a1fd82d6 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com>
Date: Thu, 28 Mar 2024 23:06:40 -0400
Subject: [PATCH] Use opprop jdk and correct commits for every plume-lib
 library (#259)

---
 checker/bin-devel/test-plume-lib.sh | 27 +++++++++++++++++++++++++++
 framework/build.gradle              |  2 +-
 2 files changed, 28 insertions(+), 1 deletion(-)

diff --git a/checker/bin-devel/test-plume-lib.sh b/checker/bin-devel/test-plume-lib.sh
index 972fdb778e2..596f2987787 100755
--- a/checker/bin-devel/test-plume-lib.sh
+++ b/checker/bin-devel/test-plume-lib.sh
@@ -53,6 +53,33 @@ for PACKAGE in "${PACKAGES[@]}"; do
   if [ "${PACKAGE}" = "plume-util" ]; then
     (cd "${PACKAGEDIR}" && git checkout 5a8399cd5a38408c129ebc8ee8c198b439634fd0 && cd ..)
   fi
+  if [ "${PACKAGE}" = "bcel-util" ]; then
+    (cd "${PACKAGEDIR}" && git checkout be503985957cc29d9b371b3241761f21bd261cb0 && cd ..)
+  fi
+  if [ "${PACKAGE}" = "bibtex-clean" ]; then
+    (cd "${PACKAGEDIR}" && git checkout 79248b39a13adcd46268f056df6502b285a8e0b0 && cd ..)
+  fi
+  if [ "${PACKAGE}" = "html-pretty-print" ]; then
+    (cd "${PACKAGEDIR}" && git checkout 3cb838f7fa30e6de2a9c6a9b102bb9f517d2dd15 && cd ..)
+  fi
+  if [ "${PACKAGE}" = "icalavailable" ]; then
+    (cd "${PACKAGEDIR}" && git checkout d7857ae0aa0cedccac2c623fff8525ba3978006a && cd ..)
+  fi
+  if [ "${PACKAGE}" = "javadoc-lookup" ]; then
+    (cd "${PACKAGEDIR}" && git checkout 83e5bfabd3fdaa5d725520b1aa33b25bb6797d37 && cd ..)
+  fi
+  if [ "${PACKAGE}" = "lookup" ]; then
+    (cd "${PACKAGEDIR}" && git checkout 6a138a1abde5b20eaefcefab2f815463ddd5013c && cd ..)
+  fi
+  if [ "${PACKAGE}" = "multi-version-control" ]; then
+    (cd "${PACKAGEDIR}" && git checkout e75c9e0c74823a528239525e280e097490a643a9 && cd ..)
+  fi
+  if [ "${PACKAGE}" = "require-javadoc" ]; then
+    (cd "${PACKAGEDIR}" && git checkout 6eea833f403509bad8923430a29843d272e524cc && cd ..)
+  fi
+  if [ "${PACKAGE}" = "reflection-util" ]; then
+    (cd "${PACKAGEDIR}" && git checkout cd00c7659a6508436b978955b08896bb7a461e61 && cd ..)
+  fi
   # Uses "compileJava" target instead of "assemble" to avoid the javadoc error "Error fetching URL:
   # https://docs.oracle.com/en/java/javase/17/docs/api/" due to network problems.
   echo "About to call ./gradlew --console=plain -PcfLocal compileJava"
diff --git a/framework/build.gradle b/framework/build.gradle
index d32daedd241..3f09e9c9ed7 100644
--- a/framework/build.gradle
+++ b/framework/build.gradle
@@ -106,7 +106,7 @@ task cloneTypetoolsJdk() {
                     '-q',
                     '--depth',
                     '1',
-                    'https://github.com/eisop/jdk.git',
+                    'https://github.com/opprop/jdk.git',
                     'jdk'
                 ]
             }