Dominic: set jdk version