Minor bugs fixed.
JTextPane font attribute trail.