public NonNullContractCollector(NonNullParamPropertyDatabase nonNullParamDatabase, NonNullParamPropertyDatabase possiblyNullParamDatabase) {
public NonNullContractCollector(ParameterNullnessPropertyDatabase nonNullParamDatabase, ParameterNullnessPropertyDatabase possiblyNullParamDatabase) {
	public NonNullContractCollector(NonNullParamPropertyDatabase nonNullParamDatabase, NonNullParamPropertyDatabase possiblyNullParamDatabase) {		super();		this.nonNullParamDatabase = nonNullParamDatabase;		this.possiblyNullParamDatabase = possiblyNullParamDatabase;		this.specificationList = new LinkedList<NonNullSpecification>();	}