public void setVerticalAlignment(int alignment) { vert_align = alignment; }
public void setVerticalAlignment(int a) { int old = vert_align; vert_align = a; if (old != a) { firePropertyChange(VERTICAL_ALIGNMENT_CHANGED_PROPERTY, old, a); revalidate(); repaint(); } }
	public void setVerticalAlignment(int alignment) {		vert_align = alignment;	}