Non-specific JRE path in .classpath