public void loadDefaultInterproceduralDatabases() {  unconditionalDerefParamDatabase = loadPropertyDatabaseFromResource( new ParameterNullnessPropertyDatabase(), UNCONDITIONAL_DEREF_DB_RESOURCE, "unconditional param deref database"); }
public abstract void loadDefaultInterproceduralDatabases();
	public void loadDefaultInterproceduralDatabases() {		unconditionalDerefParamDatabase = loadPropertyDatabaseFromResource(				new ParameterNullnessPropertyDatabase(),				UNCONDITIONAL_DEREF_DB_RESOURCE,				"unconditional param deref database");	}