correct jdk naming