# Config file that tells mauve about the `libjava' tag.
JDK1.0
JDK1.1
+JDK1.2
+JDBC2.0
!java.applet
!java.awt
-!java.beans
-!java.io.Utf8Encoding
+java.beans
+!java.beans.DescriptorTest
+!java.beans.IntrospectorTest
java.lang.Character.classify12
java.lang.String.hash
-# StringTest includes a test for NullPointerException, which we don't
-# handle.
-!java.lang.String.StringTest
-!java.math
-!java.net
+# We support 1.2 for these 3 tests.
+java.lang.reflect.Modifier.toString12
+java.io.ObjectInputOutput.InputTest
+java.io.ObjectInputOutput.OutputTest
+java.io.ObjectStreamClass.Test
+java.math
!java.rmi
-!java.security
-!java.sql
+# These 2 are tests that fail with JDBC2.0 but the tags don't seem to
+# have the right effect.
+!java.sql.Connection.TestJdbc10
+!java.sql.DatabaseMetaData.TestJdbc10
+java.text.FieldPosition.Test
+java.text.ParsePosition.Test
+java.text.SimpleDateFormat.getAndSet2DigitYearStart
java.text.StringCharacterIterator.iter
-# FIXME: can't enable these until we eliminate compiler bug.
-# java.text.FieldPosition.Test
-# java.text.ParsePosition.Test
-# java.text.SimpleDateFormat.getAndSet2DigitYearStart
!java.text.ACIAttribute
+!java.text.Annotation
!java.text.AttributedCharacterIterator
+!java.text.AttributedString
+!java.text.DecimalFormatSymbols.DumpDefault12
+!java.text.DecimalFormatSymbols.GetSet12
!java.text.resources
-!java.text.DateFormat
-!java.util.zip