--- Yap-5.1.1.orig/LGPL/JPL/src/jpl.c	2006-02-02 02:28:56.000000000 +1300
+++ Yap-5.1.1/LGPL/JPL/src/jpl.c	2007-02-03 17:16:56.000000000 +1300
@@ -1827,7 +1827,7 @@
 
 
 //=== JVM initialisation, startup etc. =============================================================
-
+/*
 // this isn't much use; it can't discover JDK 1.2 support...
 static int
 jni_supported_jvm_version(
@@ -1848,7 +1848,7 @@
 	&&  minor == mlo
 	;
     }
-
+*/
 
 static int
 jni_get_created_jvm_count(void)
@@ -1930,7 +1930,7 @@
 	);
     }
 
-
+/*
 static foreign_t
 jni_supported_jvm_version_plc(	    // not as useful as I'd hoped...
     term_t	t1,
@@ -1945,7 +1945,7 @@
 	&&  jni_supported_jvm_version(major,minor)
 	;
     }
-
+*/
 
 static foreign_t
 jni_get_created_jvm_count_plc(
@@ -3879,7 +3879,7 @@
 static
 PL_extension predspecs[] =
     { { "jni_create_jvm",		 2, jni_create_jvm_plc,		       0 },
-      { "jni_supported_jvm_version",	 2, jni_supported_jvm_version_plc,     0 },
+/*      { "jni_supported_jvm_version",	 2, jni_supported_jvm_version_plc,     0 },*/
       { "jni_get_created_jvm_count",	 1, jni_get_created_jvm_count_plc,     0 },
       { "jni_ensure_jvm",		 0, jni_ensure_jvm_plc,		       0 },
       { "jni_tag_to_iref",		 2, jni_tag_to_iref_plc,	       0 },