Build #12:   Fix type, remove tolerance (#8) * openjdk -> oraclejdk * scala 2.11 -> scala 2.12 ... on branch master about 6 years ago