Use the right directory for the Java frontend