equal
deleted
inserted
replaced
134 \ public static void main(String[] args) |
134 \ public static void main(String[] args) |
135 java.launcher.jar.error1=\ |
135 java.launcher.jar.error1=\ |
136 Error: An unexpected error occurred while trying to open file {0} |
136 Error: An unexpected error occurred while trying to open file {0} |
137 java.launcher.jar.error2=manifest not found in {0} |
137 java.launcher.jar.error2=manifest not found in {0} |
138 java.launcher.jar.error3=no main manifest attribute, in {0} |
138 java.launcher.jar.error3=no main manifest attribute, in {0} |
|
139 java.launcher.init.error=initialization error |