private PropertyChangeListener addServiceListeners()
{
PropertyChangeListener serviceListener = new PropertyChangeListener()
- {
- @Override
- public void propertyChange(PropertyChangeEvent evt)
- {
- {
- SwingUtilities.invokeLater(new Runnable()
- {
-
- @Override
- public void run()
- {
- System.err.println(
- "Rebuild WS Menu for service change");
- BuildWebServiceMenu();
- }
+ {
+ @Override
+ public void propertyChange(PropertyChangeEvent evt)
+ {
+ {
+ SwingUtilities.invokeLater(new Runnable()
+ {
- });
- }
- }
+ @Override
+ public void run()
+ {
+ System.err.println("Rebuild WS Menu for service change");
+ BuildWebServiceMenu();
+ }
+ });
+ }
+ }
};
Desktop.getInstance().addJalviewPropertyChangeListener("services",