Details
Minor Description
In 2.10.5, properties are sorted (for convenience of reading) when the Jalview properties file is saved. With Java 11 this stops working.
The implementation of Properties.save() has changed from
(Java 8) for (Enumeration<?> e = keys()) ...
to
(Java 11) for (Map.Entry<Object, Object> e : entrySet()) ...
The trick in class java.bin.Cache (to override the keys() method to return an Enumeration over a TreeSet) no longer works.
(As noted in https://stackoverflow.com/a/52127284 .)
The implementation of Properties.save() has changed from
(Java 8) for (Enumeration<?> e = keys()) ...
to
(Java 11) for (Map.Entry<Object, Object> e : entrySet()) ...
The trick in class java.bin.Cache (to override the keys() method to return an Enumeration over a TreeSet) no longer works.
(As noted in https://stackoverflow.com/a/52127284 .)