mayReturnNullDatabase = loadMethodPropertyDatabase(
mayReturnNullDatabase = loadPropertyDatabase(
	private void loadInterproceduralDatabasesIfNeeded() {		if (USE_INTERPROC_DATABASE && !interprocDatabasesLoaded) {			mayReturnNullDatabase = loadMethodPropertyDatabase(					new MayReturnNullPropertyDatabase(),					MayReturnNullPropertyDatabase.DEFAULT_FILENAME,					"may return null database");			unconditionalDerefDatabase = loadMethodPropertyDatabase(					new NonNullParamPropertyDatabase(),					NonNullParamPropertyDatabase.DEFAULT_FILENAME,					"unconditional deref database");			fieldStoreTypeDatabase = loadMethodPropertyDatabase(					new FieldStoreTypeDatabase(),					FieldStoreTypeDatabase.DEFAULT_FILENAME,					"field store type database");			interprocDatabasesLoaded = true;		}	}