diff --git a/collects/profj/libs/java/io/Serializable.jinfo b/collects/profj/libs/java/io/Serializable.jinfo
index 644391fcf7..68ab878812 100644
--- a/collects/profj/libs/java/io/Serializable.jinfo
+++ b/collects/profj/libs/java/io/Serializable.jinfo
@@ -7,4 +7,4 @@
   ()
   ()
   ()
-  "version4" "ignore")
+  "version5" "ignore")
diff --git a/collects/profj/libs/java/lang/ArithmeticException.jinfo b/collects/profj/libs/java/lang/ArithmeticException.jinfo
index 4955eff724..bc62fbe4a7 100644
--- a/collects/profj/libs/java/lang/ArithmeticException.jinfo
+++ b/collects/profj/libs/java/lang/ArithmeticException.jinfo
@@ -123,5 +123,5 @@
    ("Throwable" "java" "lang")
    ("Object" "java" "lang"))
   (("Serializable" "java" "io"))
-  "version4"
-  "3.99.0.25")
+  "version5"
+  "ignore")
diff --git a/collects/profj/libs/java/lang/ArrayIndexOutOfBoundsException.jinfo b/collects/profj/libs/java/lang/ArrayIndexOutOfBoundsException.jinfo
index 99e29aca9f..8bdf029bf8 100644
--- a/collects/profj/libs/java/lang/ArrayIndexOutOfBoundsException.jinfo
+++ b/collects/profj/libs/java/lang/ArrayIndexOutOfBoundsException.jinfo
@@ -130,5 +130,5 @@
    ("Throwable" "java" "lang")
    ("Object" "java" "lang"))
   (("Serializable" "java" "io"))
-  "version4"
-  "3.99.0.25")
+  "version5"
+  "ignore")
diff --git a/collects/profj/libs/java/lang/ArrayStoreException.jinfo b/collects/profj/libs/java/lang/ArrayStoreException.jinfo
index 7ec53f4e88..60ab3705f2 100644
--- a/collects/profj/libs/java/lang/ArrayStoreException.jinfo
+++ b/collects/profj/libs/java/lang/ArrayStoreException.jinfo
@@ -123,5 +123,5 @@
    ("Throwable" "java" "lang")
    ("Object" "java" "lang"))
   (("Serializable" "java" "io"))
-  "version4"
-  "3.99.0.25")
+  "version5"
+  "ignre")
diff --git a/collects/profj/libs/java/lang/ClassCastException.jinfo b/collects/profj/libs/java/lang/ClassCastException.jinfo
index 7cbdce4a2e..f78b8d3b0b 100644
--- a/collects/profj/libs/java/lang/ClassCastException.jinfo
+++ b/collects/profj/libs/java/lang/ClassCastException.jinfo
@@ -123,5 +123,5 @@
    ("Throwable" "java" "lang")
    ("Object" "java" "lang"))
   (("Serializable" "java" "io"))
-  "version4"
-  "3.99.0.25")
+  "version5"
+  "ignore")
diff --git a/collects/profj/libs/java/lang/Comparable.jinfo b/collects/profj/libs/java/lang/Comparable.jinfo
index d6155df731..4be9f79748 100644
--- a/collects/profj/libs/java/lang/Comparable.jinfo
+++ b/collects/profj/libs/java/lang/Comparable.jinfo
@@ -7,4 +7,4 @@
   ()
   ()
   ()
-  "version4" "ignore")
+  "version5" "ignore")
diff --git a/collects/profj/libs/java/lang/Exception.jinfo b/collects/profj/libs/java/lang/Exception.jinfo
index 2692c8b81d..3a02d151e1 100644
--- a/collects/profj/libs/java/lang/Exception.jinfo
+++ b/collects/profj/libs/java/lang/Exception.jinfo
@@ -127,5 +127,5 @@
   ()
   (("Throwable" "java" "lang") ("Object" "java" "lang"))
   (("Serializable" "java" "io"))
-  "version4"
-  "3.99.0.25")
+  "version5"
+  "ignore")
diff --git a/collects/profj/libs/java/lang/IndexOutOfBoundsException.jinfo b/collects/profj/libs/java/lang/IndexOutOfBoundsException.jinfo
index b2133a945a..e06990f30f 100644
--- a/collects/profj/libs/java/lang/IndexOutOfBoundsException.jinfo
+++ b/collects/profj/libs/java/lang/IndexOutOfBoundsException.jinfo
@@ -123,5 +123,5 @@
    ("Throwable" "java" "lang")
    ("Object" "java" "lang"))
   (("Serializable" "java" "io"))
-  "version4"
-  "3.99.0.25")
+  "version5"
+  "ignore")
diff --git a/collects/profj/libs/java/lang/NegativeArraySizeException.jinfo b/collects/profj/libs/java/lang/NegativeArraySizeException.jinfo
index 1f65fa9087..9d1584a482 100644
--- a/collects/profj/libs/java/lang/NegativeArraySizeException.jinfo
+++ b/collects/profj/libs/java/lang/NegativeArraySizeException.jinfo
@@ -123,5 +123,5 @@
    ("Throwable" "java" "lang")
    ("Object" "java" "lang"))
   (("Serializable" "java" "io"))
-  "version4"
-  "3.99.0.25")
+  "version5"
+  "ignore")
diff --git a/collects/profj/libs/java/lang/NullPointerException.jinfo b/collects/profj/libs/java/lang/NullPointerException.jinfo
index 8959a0bc5d..692610406a 100644
--- a/collects/profj/libs/java/lang/NullPointerException.jinfo
+++ b/collects/profj/libs/java/lang/NullPointerException.jinfo
@@ -123,5 +123,5 @@
    ("Throwable" "java" "lang")
    ("Object" "java" "lang"))
   (("Serializable" "java" "io"))
-  "version4"
-  "3.99.0.25")
+  "version5"
+  "ignore")
diff --git a/collects/profj/libs/java/lang/Object.jinfo b/collects/profj/libs/java/lang/Object.jinfo
index 2c682730b2..c175062687 100644
--- a/collects/profj/libs/java/lang/Object.jinfo
+++ b/collects/profj/libs/java/lang/Object.jinfo
@@ -17,5 +17,5 @@
        ()
        (("Object" "java" "lang"))
        ()
-       "version4" "ignore")
+       "version5" "ignore")
 
diff --git a/collects/profj/libs/java/lang/RuntimeException.jinfo b/collects/profj/libs/java/lang/RuntimeException.jinfo
index 9ea8f3c5c7..10b0f37f2e 100644
--- a/collects/profj/libs/java/lang/RuntimeException.jinfo
+++ b/collects/profj/libs/java/lang/RuntimeException.jinfo
@@ -129,5 +129,5 @@
    ("Throwable" "java" "lang")
    ("Object" "java" "lang"))
   (("Serializable" "java" "io"))
-  "version4"
-  "3.99.0.25")
+  "version5"
+  "ignore")
diff --git a/collects/profj/libs/java/lang/String.jinfo b/collects/profj/libs/java/lang/String.jinfo
index 9391b84429..304b4b6750 100644
--- a/collects/profj/libs/java/lang/String.jinfo
+++ b/collects/profj/libs/java/lang/String.jinfo
@@ -85,4 +85,4 @@
        ()
        (("Object" "java" "lang"))
        (("Serializable" "java" "io") ("Comparable" "java" "lang") ("CharSequence" "java" "lang"))
-       "version4" "ignore")
+       "version5" "ignore")
diff --git a/collects/profj/libs/java/lang/Throwable.jinfo b/collects/profj/libs/java/lang/Throwable.jinfo
index cfb0e79595..aa9085080a 100644
--- a/collects/profj/libs/java/lang/Throwable.jinfo
+++ b/collects/profj/libs/java/lang/Throwable.jinfo
@@ -35,4 +35,4 @@
        ()
        (("Object" "java" "lang"))
        (("Serializable" "java" "io"))
-       "version4" "ignore")
+       "version5" "ignore")