return "JSlider";
String superParamStr = super.paramString(); StringBuffer sb = new StringBuffer(); sb.append(",isInverted=").append(getInverted()); sb.append(",majorTickSpacing=").append(getMajorTickSpacing()); sb.append(",minorTickSpacing=").append(getMinorTickSpacing()); sb.append(",orientation="); if (orientation == HORIZONTAL) sb.append("HORIZONTAL"); else sb.append("VERTICAL"); sb.append(",paintLabels=").append(getPaintLabels()); sb.append(",paintTicks=").append(getPaintTicks()); sb.append(",paintTrack=").append(getPaintTrack()); sb.append(",snapToTicks=").append(getSnapToTicks());     sb.append(",snapToValue=true");  return superParamStr + sb.toString();
  protected String paramString()  {    return "JSlider";  }