+ // TODO: move into separate menu builder class.
+ {
+ Jws2Discoverer jws2servs = Jws2Discoverer.getDiscoverer();
+ if (jws2servs!=null && jws2servs.hasServices())
+ {
+ JMenu jws2men = new JMenu("Jalview 2 Services");
+ jws2servs.attachWSMenuEntry(jws2men, this);
+ wsmenu.add(jws2men);
+ }
+ }