Build and run tests under Java 11
Build: #6 was successful
Job: Clover and Tests was successful
Code commits
Jalview Gitlab
-
Gitlab User 1f2ba28869776942e4726500e9264371cd278e90
JAL-4107 JAL-4640 fix broken getInstance and patched out ops on local Hmmer preference widgets not initialised in JalviewJS
- src/jalview/gui/Preferences.java (version 1f2ba28869776942e4726500e9264371cd278e90)