public abstract ResourceTracker<Resource> getResourceTracker();
public abstract ResourceTracker<Resource> getResourceTracker(ClassContext classContext, Method method) throws DataflowAnalysisException, CFGBuilderException;
	public abstract ResourceTracker<Resource> getResourceTracker();