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 about
slider configuration.
There is a small difference in sliders with property "filled = null" (it's
default behaviour when property JSlider.isFilled is not setted)
for themes:
1. OceanTheme - sliders look like filled
2. DefaultMetalTheme - sliders look like NOT filled
</body>
</html>