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;
}
/*
- * 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))
{