Added java_executable option