8283848586878889909192
} if (closed) { if (Logger.debugging) Logger.debug("Dereferencing closed window applet " + theApplet); htRegistry.remove(theApplet); app.destroy(); } } } synchronized public static void findApplets(String appletName,