--- old/src/share/classes/javax/swing/text/DefaultStyledDocument.java 2014-06-10 11:51:30.000000000 -0700 +++ new/src/share/classes/javax/swing/text/DefaultStyledDocument.java 2014-06-10 11:51:30.000000000 -0700 @@ -1048,8 +1048,9 @@ styleChangeListener = createStyleChangeListener(); } if (styleChangeListener != null && styles != null) { - Enumeration styleNames = styles.getStyleNames(); - Vector v = (Vector)listeningStyles.clone(); + Enumeration styleNames = styles.getStyleNames(); + @SuppressWarnings("unchecked") + Vector