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.out.println(System.getProperty("os.arch") + " "
+ System.getProperty("os.name") + " "
+ System.getProperty("os.version"));
- // report Jalview version
- Cache.loadBuildProperties(true);
ArgsParser aparser = new ArgsParser(args);
boolean headless = false;
}
/*
- * 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))
{