--- a/jdk/src/share/classes/sun/text/normalizer/UnicodeSet.java	Wed Jul 16 17:45:13 2014 -0700
+++ b/jdk/src/share/classes/sun/text/normalizer/UnicodeSet.java	Wed Jul 16 18:06:28 2014 -0700
@@ -367,6 +367,7 @@
      * copied to this object
      * @stable ICU 2.0
      */
+    @SuppressWarnings("unchecked") // Casting result of clone of a collection
     public UnicodeSet set(UnicodeSet other) {
         list = other.list.clone();
         len = other.len;