nonNullParamDatabase = loadPropertyDatabase( new NonNullParamPropertyDatabase(), DEFAULT_NONNULL_PARAM_DATABASE_FILENAME, "@NonNull parameter annotation database"); possiblyNullParamDatabase = loadPropertyDatabase( new NonNullParamPropertyDatabase(), DEFAULT_POSSIBLYNULL_PARAM_DATABASE_FILENAME, "@PossiblyNull parameter annotation database");
	public void loadInterproceduralDatabases() {		mayReturnNullDatabase = loadPropertyDatabase(				new MayReturnNullPropertyDatabase(),				MayReturnNullPropertyDatabase.DEFAULT_FILENAME,				"may return null database");		fieldStoreTypeDatabase = loadPropertyDatabase(				new FieldStoreTypeDatabase(),				FieldStoreTypeDatabase.DEFAULT_FILENAME,				"field store type database");	}