--- old/src/jdk.management.agent/share/classes/jdk/internal/agent/Agent.java 2017-04-26 01:08:21.167857596 -0700 +++ new/src/jdk.management.agent/share/classes/jdk/internal/agent/Agent.java 2017-04-26 01:08:20.951838238 -0700 @@ -454,7 +454,7 @@ } } catch (AgentConfigurationError e) { - error(e.getError(), e.getParams()); + error(e); } catch (Exception e) { error(e); } @@ -690,6 +690,23 @@ throw new RuntimeException(e); } + public static void error(AgentConfigurationError e) { + String keyText = getText(e.getError()); + String[] params = e.getParams(); + + System.err.print(getText("agent.err.error") + ": " + keyText); + + if (params != null && params.length != 0) { + StringBuffer message = new StringBuffer(params[0]); + for (int i = 1; i < params.length; i++) { + message.append(" " + params[i]); + } + System.err.println(": " + message); + } + e.printStackTrace(); + throw new RuntimeException(e); + } + public static void warning(String key, String message) { System.err.print(getText("agent.err.warning") + ": " + getText(key)); System.err.println(": " + message);