Change specification of jdk