Use oracle jdk, and use 0.13.2-M1 for sbt