JDK is picked up via workspace