| commit | 0619c5035749ca372520284ab487ba898676fcc1 | [log] [tgz] |
|---|---|---|
| author | ndai <ndai> | Mon Mar 28 15:44:37 2005 +0000 |
| committer | ndai <ndai> | Mon Mar 28 15:44:37 2005 +0000 |
| tree | 06c8d392c76b808578d57a2c93833e6e5b39bb87 | |
| parent | 240fb67f12a32cc4febe314babb6d5805205e163 [diff] |
Added method for use default JRE
diff --git a/plugins/org.eclipse.jst.server.generic.core/src/org/eclipse/jst/server/generic/core/internal/GenericServerRuntime.java b/plugins/org.eclipse.jst.server.generic.core/src/org/eclipse/jst/server/generic/core/internal/GenericServerRuntime.java index 54f4bc5..1561b41 100644 --- a/plugins/org.eclipse.jst.server.generic.core/src/org/eclipse/jst/server/generic/core/internal/GenericServerRuntime.java +++ b/plugins/org.eclipse.jst.server.generic.core/src/org/eclipse/jst/server/generic/core/internal/GenericServerRuntime.java
@@ -59,6 +59,11 @@ return JavaRuntime.getDefaultVMInstall().getVMInstallType().getId(); // TODO configurable. } + + public boolean isUsingDefaultJRE() { + // TODO Auto-generated method stub + return true; + } /* (non-Javadoc) * @see org.eclipse.jst.server.core.IGenericRuntime#getVMInstallId()