public boolean equals(Object o){
		if (! (o instanceof ASection )) return false;
		if ( (start.getOffset() == ((ASection)o).getStartOffset()) 
			 &&	(end.getOffset() == ((ASection)o).getEndOffset())
			) return true;
			return false;
	}