2014-05-20: Now compatible with OpenJDK.