firePropertyChange(BLOCK_INCREMENT_CHANGED_PROPERTY, oldInc,
firePropertyChange("blockIncrement", oldInc,
  public void setBlockIncrement(int blockIncrement)  {    if (blockIncrement != this.blockIncrement)      {	int oldInc = this.blockIncrement;	this.blockIncrement = blockIncrement;	firePropertyChange(BLOCK_INCREMENT_CHANGED_PROPERTY, oldInc,	                   this.blockIncrement);      }  }