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

*** 1681,1690 ****
--- 1681,1691 ----
       * 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,