Bug font Javadoc