EditStyledText.java