Ben: specify correct version of jdk in compiler plugin