--- old/src/java.desktop/share/classes/javax/swing/text/html/StyleSheet.java	2014-12-09 10:07:18.713096128 -0800
+++ new/src/java.desktop/share/classes/javax/swing/text/html/StyleSheet.java	2014-12-09 10:07:18.557096121 -0800
@@ -2562,6 +2562,7 @@
             }
         }
 
+        @SuppressWarnings("deprecation")
         void paint(Graphics g, float x, float y, float w, float h, View v) {
             Rectangle clip = g.getClipRect();
             if (clip != null) {