- jalview.ws.jws2.Jws2Discoverer.getDiscoverer()
- .addPropertyChangeListener(
- thatListener = new java.beans.PropertyChangeListener()
- {
- public void propertyChange(PropertyChangeEvent evt)
- {
- System.err
- .println("Change support JWS2: build services again.");
- BuildWebServiceMenu();
- }
- });