--- old/src/share/classes/com/sun/java/swing/plaf/gtk/GTKLookAndFeel.java	2014-04-22 17:13:12.000000000 -0700
+++ new/src/share/classes/com/sun/java/swing/plaf/gtk/GTKLookAndFeel.java	2014-04-22 17:13:12.000000000 -0700
@@ -1683,6 +1683,7 @@
      * adjustments that windows/metal do.  This is because gtk doesn't
      * provide margins/insets for checkbox/radiobuttons.
      */
+    @SuppressWarnings("fallthrough")
     private static class GnomeLayoutStyle extends DefaultLayoutStyle {
         private static GnomeLayoutStyle INSTANCE = new GnomeLayoutStyle();