+ if (Cache.getDefault("SHOW_JPRED4_SERVICES", true))
+ {
+ Console.info("Building web services menu for jpred4");
+ JPred4WSDiscoverer discoverer = JPred4WSDiscoverer.getInstance();
+ jpred4Menu.setServices(discoverer);
+ jpred4Menu.setInProgress(discoverer.isRunning());
+ jpred4Menu.setNoServices(discoverer.isDone() && !discoverer.hasServices());
+ webService.add(jpred4Menu.getMenu());
+ }