diff options
| author | Matthew Newhook <matthew@zeroc.com> | 2014-08-12 15:50:25 -0230 |
|---|---|---|
| committer | Matthew Newhook <matthew@zeroc.com> | 2014-08-12 15:50:25 -0230 |
| commit | 2f5c841cfce2ae5ff26e2e373c3ea7188da8b75b (patch) | |
| tree | b460e22e91a9fbb9cfb71631303963fa94dd2c9c /java/src/IceGridGUI/LiveDeployment/ServiceEditor.java | |
| parent | ICE-5492 Tcp Loopback Fast Path for C#/C++ on Windows (diff) | |
| download | ice-2f5c841cfce2ae5ff26e2e373c3ea7188da8b75b.tar.bz2 ice-2f5c841cfce2ae5ff26e2e373c3ea7188da8b75b.tar.xz ice-2f5c841cfce2ae5ff26e2e373c3ea7188da8b75b.zip | |
Added eclipse project settings for java.
Fix lots of warnings in Ice for Java.
Diffstat (limited to 'java/src/IceGridGUI/LiveDeployment/ServiceEditor.java')
| -rw-r--r-- | java/src/IceGridGUI/LiveDeployment/ServiceEditor.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/java/src/IceGridGUI/LiveDeployment/ServiceEditor.java b/java/src/IceGridGUI/LiveDeployment/ServiceEditor.java index 42530adcb5c..d43a1dec103 100644 --- a/java/src/IceGridGUI/LiveDeployment/ServiceEditor.java +++ b/java/src/IceGridGUI/LiveDeployment/ServiceEditor.java @@ -32,6 +32,7 @@ import IceGridGUI.*; class ServiceEditor extends CommunicatorEditor { + @Override public JToolBar getToolBar() { if(_toolBar == null) @@ -51,6 +52,7 @@ class ServiceEditor extends CommunicatorEditor Action refresh = new AbstractAction("Refresh") { + @Override public void actionPerformed(ActionEvent e) { _buildId.setText("Retrieving..."); @@ -96,6 +98,7 @@ class ServiceEditor extends CommunicatorEditor } } + @Override protected void appendProperties(DefaultFormBuilder builder) { builder.appendSeparator("Runtime Status"); @@ -132,6 +135,7 @@ class ServiceEditor extends CommunicatorEditor builder.nextLine(); } + @Override protected void buildPropertiesPanel() { super.buildPropertiesPanel(); @@ -159,7 +163,7 @@ class ServiceEditor extends CommunicatorEditor { _properties.setSortedMap(map); - String buildString = (String)map.get("BuildId"); + String buildString = map.get("BuildId"); if(buildString == null) { _buildId.setText(""); |