Use jdk8. Change configset name to jepsen.