Update PHPToolExecutableLauncher.java

https://github.com/PHPsrc/org.phpsrc.eclipse.pti.core/pull/1#issuecomment-15315031

fixes:

https://github.com/PHPsrc/PHP-Tool-Integration/issues/3