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
<html><body><applet code="bug6587742.class" width=800 height=600></applet>Select every theme and check that all sliders looks good.Note that every slider has a tooltip text with information aboutslider configuration.There is a small difference in sliders with property "filled = null" (it'sdefault behaviour when property JSlider.isFilled is not setted)for themes:1. OceanTheme - sliders look like filled2. DefaultMetalTheme - sliders look like NOT filled </body></html>