snippet for jdk version detection