code: protected ModificationHistory getModificationHistory(MethodDoc methodDoc) {
  		ModificationHistory history = new ModificationHistory();
  		history.addModificationRecords(this.parseModificationRecords(methodDoc.tags()));
  		return history;
  	}
docs: /*
  get the modification history of the method.