From 8d3e2ae792e72a70b5825e5282dea23fcd2b6851 Mon Sep 17 00:00:00 2001
From: Pawel Piech <pawel.piech@windriver.com>
Date: Fri, 13 Jun 2008 21:23:42 +0000
Subject: [PATCH] [236461] - Fixed a java patch bug to enable PDA on windows.

---
 .../org/eclipse/dd/examples/pda/launch/PDALaunchDelegate.java  | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/plugins/org.eclipse.dd.examples.pda/src/org/eclipse/dd/examples/pda/launch/PDALaunchDelegate.java b/plugins/org.eclipse.dd.examples.pda/src/org/eclipse/dd/examples/pda/launch/PDALaunchDelegate.java
index d9e988b41f9..96069ee9d51 100644
--- a/plugins/org.eclipse.dd.examples.pda/src/org/eclipse/dd/examples/pda/launch/PDALaunchDelegate.java
+++ b/plugins/org.eclipse.dd.examples.pda/src/org/eclipse/dd/examples/pda/launch/PDALaunchDelegate.java
@@ -119,6 +119,9 @@ public class PDALaunchDelegate extends LaunchConfigurationDelegate {
         // Get Java VM path
         String javaVMHome = System.getProperty("java.home");
         String javaVMExec = javaVMHome + File.separatorChar + "bin" + File.separatorChar + "java";
+        if (File.separatorChar == '\\') {
+            javaVMExec += ".exe";
+        }   
         File exe = new File(javaVMExec);
         if (!exe.exists()) {
             abort(MessageFormat.format("Specified java VM executable {0} does not exist.", new Object[]{javaVMExec}), null);