Revert "Add Java 11 support for SAXParserTest as part of javapathfind…

…er#274"

This reverts commit 7d07f31.

build.gradle

@@ -48,7 +48,6 @@ task compileModules(type: JavaCompile) {
         '--add-reads', 'java.base=ALL-UNNAMED',
         '--patch-module', "java.base=" + file('src/classes/modules/java.base'),
         '--patch-module', "java.logging=" + file('src/classes/modules/java.logging'),
-        '--patch-module', "java.xml=" + file('src/classes/modules/java.xml'),
     ]
     destinationDir = file('build/classes/modules')
 }

src/classes/modules/java.base/java/io/File.java

@@ -35,7 +35,6 @@
  */
 public class File
 {
-
   public static final String separator = System.getProperty("file.separator");
   public static final char separatorChar = separator.charAt(0);
   public static final String pathSeparator = System.getProperty("path.separator");

src/classes/modules/java.base/java/lang/Class.java

@@ -382,32 +382,4 @@ public boolean isSynthetic (){
   public Module getModule() {
     return module;
   }
-
-  /**
-   * Return fully qualified package name
-   * Added to support SAXParserTest
-   *
-   * @return fully qualified package name
-   */
-  public String getPackageName() {
-    String packageName = this.packageName;
-    if (packageName == null) {
-      Class<?> cls = this;
-      while (cls.isArray()) {
-        cls = cls.getComponentType();
-      }
-      if (cls.isPrimitive()) {
-        packageName = "java.lang";
-      } else {
-        String clsName = cls.getName();
-        int dot = clsName.lastIndexOf('.');
-        packageName = (dot != -1) ? clsName.substring(0, dot).intern() : "";
-      }
-      this.packageName = packageName;
-    }
-    return packageName;
-  }
-
-  private transient String packageName;
-
 }

src/tests/gov/nasa/jpf/test/xerces/SAXParserTest.java

@@ -23,11 +23,9 @@
 import java.io.IOException;
 
 import javax.xml.parsers.ParserConfigurationException;
-import javax.xml.parsers.SAXParser;
 import javax.xml.parsers.SAXParserFactory;
 
 import org.junit.Test;
-import org.xml.sax.InputSource;
 import org.xml.sax.SAXException;
 import org.xml.sax.XMLReader;
 import org.xml.sax.helpers.DefaultHandler;