}
protected String getDescriptiveName() { return "Java 1.2+ JVM"; }
+
+ protected void _newBrowserWindow(String url) {
+ if (Main.applet == null) {
+ if (Log.on) Log.log(this, "Main.applet is null; cannot invoke showDocument()");
+ return;
+ }
+ if (Log.on) Log.log(this, "asking browser to show URL " + url);
+ try {
+ Main.applet.getAppletContext().showDocument(new URL(url), "_blank");
+ } catch (MalformedURLException e) {
+ if (Log.on) Log.log(this, e);
+ }
+ }
+
+ /** used to notify the user of very serious failures; usually used when logging is not working or unavailable */
+ protected void _criticalAbort(String message) {
+ if (Log.on) Log.log(this, message);
+ new Semaphore().block();
+ }
+
}