bug with JTextPane in java 1.7.0