equal
deleted
inserted
replaced
52 |
52 |
53 public final static int JAVA7_PACKAGE_MAJOR_VERSION = 170; |
53 public final static int JAVA7_PACKAGE_MAJOR_VERSION = 170; |
54 public final static int JAVA7_PACKAGE_MINOR_VERSION = 1; |
54 public final static int JAVA7_PACKAGE_MINOR_VERSION = 1; |
55 |
55 |
56 public static void main(String... args) throws IOException { |
56 public static void main(String... args) throws IOException { |
57 if (!javaHome.getName().endsWith("jre")) { |
|
58 throw new RuntimeException("Error: requires an SDK to run"); |
|
59 } |
|
60 |
|
61 File out = new File("test.pack"); |
57 File out = new File("test.pack"); |
62 createClassFile("Test6"); |
58 createClassFile("Test6"); |
63 createClassFile("Test7"); |
59 createClassFile("Test7"); |
64 |
60 |
65 verify6991164(); |
61 verify6991164(); |