# Config file that tells mauve about the `classpath' tag.
JDK1.0
JDK1.1
JDK1.2

# Disabled for jikes 1.15b
# Cannot be compiled
!java.lang.String.StringTest
!java.sql.Connection.TestJdbc10
!java.sql.DatabaseMetaData.TestJdbc10
!java.text.DecimalFormat.parse
# Crash orp 1.0.9
!java.io.ObjectInputOutput.InputTest
!java.io.PipedStream.receive
!java.lang.Cloneable.CloneableTest
!java.lang.Object.ObjectTest
!java.lang.Object.clone
!java.lang.String.decode
!java.lang.reflect.Array.newInstance
!java.net.URL.URLTest
!java.text.ACIAttribute.Test
!java.text.AttributedString.Test
!java.text.CharacterIterator.implement
!java.text.ChoiceFormat.format
!java.text.DateFormat.Test
!java.text.SimpleDateFormat.Test
!java.text.SimpleDateFormat.getAndSet2DigitYearStart
!java.text.SimpleDateFormat.regress
!java.util.BitSet.jdk10
!java.util.Calendar
!java.util.Properties.load
!java.util.zip.GZIPInputStream.basic
!java.util.zip.ZipInputStream.basic
!java.util.zip.ZipInputStream.close
# Hang Orp 1.0.9
!java.io.PipedStream.close

# These tests crasj orp 1.0.9 when compiled with gcj 3.1 (CVS)