equal
deleted
inserted
replaced
1 /* |
1 /* |
2 * Copyright (c) 2002, 2006, Oracle and/or its affiliates. All rights reserved. |
2 * Copyright (c) 2002, 2011, Oracle and/or its affiliates. All rights reserved. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * |
4 * |
5 * This code is free software; you can redistribute it and/or modify it |
5 * This code is free software; you can redistribute it and/or modify it |
6 * under the terms of the GNU General Public License version 2 only, as |
6 * under the terms of the GNU General Public License version 2 only, as |
7 * published by the Free Software Foundation. |
7 * published by the Free Software Foundation. |
796 public String getDefaultStratum() { |
796 public String getDefaultStratum() { |
797 return defaultStratum; |
797 return defaultStratum; |
798 } |
798 } |
799 |
799 |
800 public String description() { |
800 public String description() { |
801 String[] versionParts = {"" + vmmgr.majorInterfaceVersion(), |
|
802 "" + vmmgr.minorInterfaceVersion(), |
|
803 name()}; |
|
804 return java.text.MessageFormat.format(java.util.ResourceBundle. |
801 return java.text.MessageFormat.format(java.util.ResourceBundle. |
805 getBundle("com.sun.tools.jdi.resources.jdi").getString("version_format"), |
802 getBundle("com.sun.tools.jdi.resources.jdi").getString("version_format"), |
806 versionParts); |
803 "" + vmmgr.majorInterfaceVersion(), |
|
804 "" + vmmgr.minorInterfaceVersion(), |
|
805 name()); |
807 } |
806 } |
808 |
807 |
809 public String version() { |
808 public String version() { |
810 return saVM.getSystemProperty("java.version"); |
809 return saVM.getSystemProperty("java.version"); |
811 } |
810 } |