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