javadict font problem