JAL-3446 fixing a bad merge, sorry
authorsoares <bsoares@dundee.ac.uk>
Fri, 12 Jun 2020 11:24:55 +0000 (12:24 +0100)
committersoares <bsoares@dundee.ac.uk>
Fri, 12 Jun 2020 11:24:55 +0000 (12:24 +0100)
commitf8d65c3705e11a6aacb4fcaff1bf76e4932f1609
tree84a337b4fd2c8b9e24ca7967d62a9c2a83b53753
parentfbab485e42c5b07733ae390b236d944abfcedefb
JAL-3446 fixing a bad merge, sorry
src/jalview/util/Platform.java