ignore any events after manager has already been finalized.
[jalview.git] / appletlib /
drwxr-xr-x   ..
-rw-r--r-- 1541511 JmolApplet-12.1.13.jar