ThKr: setting compiler source and target to java 1.7