| <?xml version="1.0" encoding="UTF-8"?> | |
| <!-- ======================================================================= --> | |
| <!-- Java Launching Plugin --> | |
| <!-- ======================================================================= --> | |
| <plugin | |
| name= "%pluginName" | |
| id= "org.eclipse.jdt.launching" | |
| version= "2.0.0" | |
| provider-name= "Object Technology International, Inc." | |
| class= "org.eclipse.jdt.internal.launching.LaunchingPlugin"> | |
| <requires> | |
| <import plugin="org.eclipse.core.resources"/> | |
| <import plugin="org.eclipse.jdt.core"/> | |
| <import plugin="org.eclipse.debug.core"/> | |
| <import plugin="org.eclipse.jdt.debug"/> | |
| <import plugin="org.apache.xerces"/> | |
| </requires> | |
| <runtime> | |
| <library name="launching.jar" > | |
| <export name = "*"/> | |
| </library> | |
| </runtime> | |
| <!-- Search extension point definitions --> | |
| <extension-point name="%vmInstallTypes" id="vmInstallTypes"/> | |
| <!-- Extensions --> | |
| <extension point = "org.eclipse.jdt.launching.vmInstallTypes"> | |
| <vmInstallType | |
| class="org.eclipse.jdt.internal.launching.StandardVMType" | |
| id="org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType"/> | |
| </extension> | |
| <extension point = "org.eclipse.debug.core.launchConfigurationTypes"> | |
| <launchConfigurationType | |
| id="org.eclipse.jdt.launching.localJavaApplication" | |
| name="%localJavaApplication" | |
| delegate="org.eclipse.jdt.internal.launching.JavaLocalApplicationLaunchConfigurationDelegate" | |
| modes= "run, debug"> | |
| <fileExtension | |
| extension="java" | |
| default="true"/> | |
| <fileExtension | |
| extension="class" | |
| default="true"/> | |
| </launchConfigurationType> | |
| <launchConfigurationType | |
| id="org.eclipse.jdt.launching.remoteJavaApplication" | |
| name="%remoteJavaApplication" | |
| delegate="org.eclipse.jdt.internal.launching.JavaRemoteApplicationLaunchConfigurationDelegate" | |
| modes= "debug"> | |
| <fileExtension | |
| extension="java" | |
| default="false"/> | |
| <fileExtension | |
| extension="class" | |
| default="false"/> | |
| </launchConfigurationType> | |
| </extension> | |
| <extension point = "org.eclipse.debug.core.sourceLocators"> | |
| <sourceLocator | |
| id = "org.eclipse.jdt.launching.javaSourceLocator" | |
| class="org.eclipse.jdt.launching.sourcelookup.JavaSourceLocator" | |
| name="Basic Java Source Locator"/> | |
| </extension> | |
| </plugin> |