6943119: Rebrand source copyright notices
Reviewed-by: darcy, weijun

6587742: filling half of a JSlider's track is no longer optional
Summary: now OceanTheme uses the JSlider.isFilled property like other themes
Reviewed-by: alexp