src/share/classes/com/sun/java/swing/plaf/gtk/GTKLookAndFeel.java

@@ -1681,10 +1681,11 @@
      * http://developer.gnome.org/projects/gup/hig/2.0/design-window.html#window-layout-spacing
      * You'll notice this doesn't do the radiobutton/checkbox border
      * 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();
 
         @Override
         public int getPreferredGap(JComponent component1,