JAL-3120 JAL-3130 can't read "java.specification.version" in JalviewJS
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 5 Nov 2019 17:07:33 +0000 (17:07 +0000)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 5 Nov 2019 17:07:33 +0000 (17:07 +0000)
commitbe568293756d8c194d16d0166fd4396fa3cd9b26
treeaa4dc21196ec7eb9aae12237a54dcfaa351ca787
parentf3af5a368a88540b50709bb30eaf85bd595c8a49
JAL-3120 JAL-3130 can't read "java.specification.version" in JalviewJS
src/jalview/gui/Desktop.java
src/jalview/util/ShortcutKeyMaskExWrapper.java