diff options
Diffstat (limited to 'org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/IJavaLaunchConfigurationConstants.java')
-rw-r--r-- | org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/IJavaLaunchConfigurationConstants.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/IJavaLaunchConfigurationConstants.java b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/IJavaLaunchConfigurationConstants.java index 3674faad3..c0c45130e 100644 --- a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/IJavaLaunchConfigurationConstants.java +++ b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/IJavaLaunchConfigurationConstants.java @@ -132,6 +132,7 @@ public interface IJavaLaunchConfigurationConstants { * * @deprecated use <code>ATTR_JRE_CONTAINER_PATH</code> */ + @Deprecated public static final String ATTR_VM_INSTALL_NAME = LaunchingPlugin.getUniqueIdentifier() + ".VM_INSTALL_NAME"; //$NON-NLS-1$ /** @@ -143,6 +144,7 @@ public interface IJavaLaunchConfigurationConstants { * * @deprecated use <code>ATTR_JRE_CONTAINER_PATH</code> */ + @Deprecated public static final String ATTR_VM_INSTALL_TYPE = LaunchingPlugin.getUniqueIdentifier() + ".VM_INSTALL_TYPE_ID"; //$NON-NLS-1$ /** |