public NullnessAnnotationDatabase getNullnessAnnotationDatabase() { return nullnessAnnotationDatabase; }
public abstract NullnessAnnotationDatabase getNullnessAnnotationDatabase();
	public NullnessAnnotationDatabase getNullnessAnnotationDatabase() {		return nullnessAnnotationDatabase;	}