public Attribute[] getJadAttributes() {
public Variable[] getJadAttributes() {
	public Attribute[] getJadAttributes() {		if (this.jadAttributes == null) {			return new Attribute[0];		} else {			return this.jadAttributes.getAttributes();		}	}