JAL-3235 override entrySet() to output Properties sorted by key (Java 9)
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 2 May 2019 14:35:26 +0000 (15:35 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 2 May 2019 14:35:26 +0000 (15:35 +0100)
commit0c74355c2b58d84d300d62edbb41806b04e834b2
treecb5a94a643ef86e5426d724399833cd6fabba29d
parent4d08d42e4ac66d978ff1f2929797695cd5217102
JAL-3235 override entrySet() to output Properties sorted by key (Java 9)
src/jalview/bin/Cache.java