JAL-845 reduced height to allow for Desktop decorators on Windows
[jalview.git] / appletlib /
drwxr-xr-x   ..
-rw-r--r-- 1751061 JmolApplet-12.2.4.jar