public boolean setType(final Type type) {

		if (!this.type.equals(type)) {
			// if (Tree.DEBUG) {
			// System.out.println(" setting typeof(" + this + ") = " + type);
			// }
			this.type = type;

			return true;
		}

		return false;
	}