JAL-3210 JAL-3130 can't read java.specification.version in JalviewJS
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 5 Nov 2019 17:09:20 +0000 (17:09 +0000)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 5 Nov 2019 17:09:20 +0000 (17:09 +0000)
commit5159fba45b219bdf320e78091db53486e782bb39
tree6cd9278441db10d1f01c480efbfb6cf05626b69d
parentbe568293756d8c194d16d0166fd4396fa3cd9b26
JAL-3210 JAL-3130 can't read java.specification.version in JalviewJS
src/jalview/jbgui/GDesktop.java