--- configure	2008-11-05 17:42:13.000000000 +0000
+++ configure.tpg	2008-12-02 21:30:16.000000000 +0000
@@ -26154,7 +26154,7 @@
 	saved_ac_java_classpath=$ac_java_classpath
 	DEFAULT_JAR_DIR="/usr/share/java/ /usr/lib/java/ /usr/share/java /usr/share/java/jar /opt/java/lib /usr/local/java /usr/local/java/jar /usr/local/share/java /usr/local/share/java/jar /usr/local/lib/java"
     for jardir in "`pwd`/thirdparty" "`pwd`/jar" $DEFAULT_JAR_DIR "$_user_libdir"; do
-      for jar in "$jardir/jeuclid-core.jar" "$jardir/libjeuclid-core.jar" "$jardir/libjeuclid-core-java.jar" "$jardir/jeuclid-core*.jar"; do
+      for jar in "$jardir/jeuclid-core.jar" "$jardir/libjeuclid-core.jar" "$jardir/libjeuclid-core-java.jar" "$jardir/jeuclid-core*.jar" "$jardir/jeuclid-core-3.1.3.jar"; do
 #	jar=`echo $jar|sed -e 's/ /\\ /'`
 #	echo "protected $jar"
 #	jar_resolved=`ls $jar 2>/dev/null`
@@ -26166,7 +26166,7 @@
 
     cat << \EOF > conftest.java
 // #line 26168 "configure"
-import net.sourceforge.jeuclid.MathBase;
+import net.sourceforge.jeuclid.ant.MathMLConverter;
 
 public class conftest {
     public static void main(String[] argv) {