protected NonNullParamPropertyDatabase getNonNullDatabase() {
protected ParameterNullnessPropertyDatabase getNonNullDatabase() {
	protected NonNullParamPropertyDatabase getNonNullDatabase() {		return nonNullDatabase;	}