Use font.getName, not font.getFontName
[jalview.git] / src / jalview / bin /
drwxr-xr-x   ..
-rwxr-xr-x 5890 Cache.java
-rwxr-xr-x 9518 Jalview.java
-rwxr-xr-x 6265 JalviewLite.java