[fedora-java] Bug in openjdks TreeMap?