JAL-2687 use Iterator.remove() for safe deletion while iterating
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 25 Aug 2017 10:40:55 +0000 (11:40 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 25 Aug 2017 10:40:55 +0000 (11:40 +0100)
commit19a65eee2c096375f5ad7de8a5774b91c4d2b5eb
treeccacead53d2a741fda93e8a526e92a2ba1b31ba0
parent414c54986eb248b78432dc7b99956c6a2f20f018
JAL-2687 use Iterator.remove() for safe deletion while iterating
src/jalview/appletgui/PaintRefresher.java
src/jalview/gui/PaintRefresher.java