JAL-3141 Object array cast missing
authorBen Soares <bsoares@dundee.ac.uk>
Mon, 27 May 2019 15:18:09 +0000 (16:18 +0100)
committerBen Soares <bsoares@dundee.ac.uk>
Mon, 27 May 2019 15:18:09 +0000 (16:18 +0100)
commit97a6f94196828b1bf4e2804e9a92d819e06c078d
tree82de4ea88d4b05c0900177798f3a9b4774852d93
parentb8683aaaf600239e94d658bdf99012f5e684d9a8
JAL-3141 Object array cast missing
src/jalview/jbgui/GPreferences.java