src/share/classes/javax/swing/plaf/metal/OceanTheme.java

*** 131,141 ****
       */
      public void addCustomEntriesToTable(UIDefaults table) {
          UIDefaults.LazyValue focusBorder = t ->
              new BorderUIResource.LineBorderUIResource(getPrimary1());
          // .30 0 DDE8F3 white secondary2
!         java.util.List buttonGradient = Arrays.asList(
                   new Object[] {new Float(.3f), new Float(0f),
                   new ColorUIResource(0xDDE8F3), getWhite(), getSecondary2() });
  
          // Other possible properties that aren't defined:
          //
--- 131,141 ----
       */
      public void addCustomEntriesToTable(UIDefaults table) {
          UIDefaults.LazyValue focusBorder = t ->
              new BorderUIResource.LineBorderUIResource(getPrimary1());
          // .30 0 DDE8F3 white secondary2
!         java.util.List<?> buttonGradient = Arrays.asList(
                   new Object[] {new Float(.3f), new Float(0f),
                   new ColorUIResource(0xDDE8F3), getWhite(), getSecondary2() });
  
          // Other possible properties that aren't defined:
          //
*** 147,157 ****
          Color cccccc = new ColorUIResource(0xCCCCCC);
          Color dadada = new ColorUIResource(0xDADADA);
          Color c8ddf2 = new ColorUIResource(0xC8DDF2);
          Object directoryIcon = getIconResource("icons/ocean/directory.gif");
          Object fileIcon = getIconResource("icons/ocean/file.gif");
!         java.util.List sliderGradient = Arrays.asList(new Object[] {
              new Float(.3f), new Float(.2f),
              c8ddf2, getWhite(), new ColorUIResource(SECONDARY2) });
  
          Object[] defaults = new Object[] {
              "Button.gradient", buttonGradient,
--- 147,157 ----
          Color cccccc = new ColorUIResource(0xCCCCCC);
          Color dadada = new ColorUIResource(0xDADADA);
          Color c8ddf2 = new ColorUIResource(0xC8DDF2);
          Object directoryIcon = getIconResource("icons/ocean/directory.gif");
          Object fileIcon = getIconResource("icons/ocean/file.gif");
!         java.util.List<?> sliderGradient = Arrays.asList(new Object[] {
              new Float(.3f), new Float(.2f),
              c8ddf2, getWhite(), new ColorUIResource(SECONDARY2) });
  
          Object[] defaults = new Object[] {
              "Button.gradient", buttonGradient,