--- src/org/jacorb/util/Version.java.orig	2009-07-29 15:55:13.000000000 -0400
+++ src/org/jacorb/util/Version.java	2009-07-29 15:56:08.000000000 -0400
@@ -28,8 +28,8 @@
  */
 public final class Version
 {
-    public static final String version = "2.3.1";
-    public static final String date = "27-May-2009";
+    public static final String version = "2.3.1 (JBoss patch01)";
+    public static final String date = "29-Jul-2009";
     public static final String longVersion = version + ", " + date;
     public static final String yearString = "1997-2009";
 }