public void setStringPainted(boolean painted) {  }
public void setStringPainted(boolean painted) { if (paintString != painted) { boolean oldPainted = paintString; paintString = painted; firePropertyChange(STRING_PAINTED_CHANGED_PROPERTY, oldPainted, paintString); } }
	public void setStringPainted(boolean painted) {		// TODO	} // setStringPainted()