firePropertyChange(VERTICAL_SCROLLBAR_POLICY_CHANGED_PROPERTY, old, v);
firePropertyChange("verticalScrollBarPolicy", old, v);
  public void setVerticalScrollBarPolicy(int v)  {    if (v != VERTICAL_SCROLLBAR_AS_NEEDED        && v != VERTICAL_SCROLLBAR_NEVER        && v != VERTICAL_SCROLLBAR_ALWAYS)      throw new IllegalArgumentException("unknown vertical scrollbar policy");        int old = verticalScrollBarPolicy;    verticalScrollBarPolicy = v;    firePropertyChange(VERTICAL_SCROLLBAR_POLICY_CHANGED_PROPERTY, old, v);    sync();  }