perms.add(new AllPermission());
return (perms);
}
-
+
@Override
public void refresh()
{
class FeatureFetcher
{
/*
- * TODO: generalise to track all jalview events to orchestrate batch processing
- * events.
+ * TODO: generalise to track all jalview events to orchestrate batch
+ * processing events.
*/
private int queued = 0;
{
System.setSecurityManager(null);
System.out
- .println("Java version: " + System.getProperty("java.version"));
+ .println("Java version: "
+ + System.getProperty("java.version"));
System.out.println("Java Home: " + System.getProperty("java.home"));
System.out.println(System.getProperty("os.arch") + " "
+ System.getProperty("os.name") + " "
+ System.getProperty("os.version"));
- System.out.println("Install4j version: "
- + System.getProperty("sys.install4jVersion"));
- System.out.println("Install4j template version: "
- + System.getProperty("installer_template_version"));
- System.out.println(
- "Launcher version: " + System.getProperty("launcher_version"));
+ String val = System.getProperty("sys.install4jVersion");
+ if (val != null) {
+ System.out.println("Install4j version: " + val);
+ }
+ val = System.getProperty("installer_template_version");
+ if (val != null) {
+ System.out.println("Install4j template version: " + val);
+ }
+ val = System.getProperty("launcher_version");
+ if (val != null) {
+ System.out.println("Launcher version: " + val);
+ }
// report Jalview version
Cache.loadBuildProperties(true);
}
/*
- * configure 'full' SO model if preferences say to, else use the default (SO
- * Lite)
+ * configure 'full' SO model
*/
if (Cache.getDefault("USE_FULL_SO", true))
{