OpenJDK on Twitter: "We are grateful to the many experienced developers ...