explicitly set JDK level