Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFlorian Waibel2015-05-21 13:34:24 -0400
committerFlorian Waibel2015-05-21 13:34:44 -0400
commitc56a99fdd35aa9b6d2331ab96a7ce6f119c6fc73 (patch)
tree1970e889eb8910093cd721febc32317edd378126 /org.eclipse.virgo.management.console
parentf456579a84cc46536c75225906b854390b389e30 (diff)
downloadorg.eclipse.virgo.kernel-c56a99fdd35aa9b6d2331ab96a7ce6f119c6fc73.tar.gz
org.eclipse.virgo.kernel-c56a99fdd35aa9b6d2331ab96a7ce6f119c6fc73.tar.xz
org.eclipse.virgo.kernel-c56a99fdd35aa9b6d2331ab96a7ce6f119c6fc73.zip
Removes unused extra argument - fixes findbugs warning VA_FORMAT_STRING_EXTRA_ARGUMENTS_PASSED
Diffstat (limited to 'org.eclipse.virgo.management.console')
-rw-r--r--org.eclipse.virgo.management.console/src/main/java/org/eclipse/virgo/management/console/ContentServlet.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.virgo.management.console/src/main/java/org/eclipse/virgo/management/console/ContentServlet.java b/org.eclipse.virgo.management.console/src/main/java/org/eclipse/virgo/management/console/ContentServlet.java
index 04d45269..0c71dd43 100644
--- a/org.eclipse.virgo.management.console/src/main/java/org/eclipse/virgo/management/console/ContentServlet.java
+++ b/org.eclipse.virgo.management.console/src/main/java/org/eclipse/virgo/management/console/ContentServlet.java
@@ -210,7 +210,7 @@ public class ContentServlet extends HttpServlet {
pageContext.put("servletContextName", Activator.APPLICATION_NAME);
}
pageContext.put("servletContainer", servletContext.getServerInfo());
- pageContext.put("virtualMachine", String.format("%s - %s %s (%s)", System.getProperty("java.version"), System.getProperty("java.vm.name"), System.getProperty("java.vm.version"), System.getProperty("java.vm.vendor"), System.getProperty("java.version")));
+ pageContext.put("virtualMachine", String.format("%s - %s %s (%s)", System.getProperty("java.version"), System.getProperty("java.vm.name"), System.getProperty("java.vm.version"), System.getProperty("java.vm.vendor")));
pageContext.put("operatingSystem", String.format("%s %s (%s)", System.getProperty("os.name"), System.getProperty("os.version"), System.getProperty("os.arch")));
}

Back to the top