Heads up: I am preparing to send a quick mini survey about jdk usage in the community (simple questions: which jdk version do you use, which scala version do you use), motivated by https://github.com/sbt/util/issues/75