001    package nl.cwi.sen1.tide.tool;
002    
003    import nl.cwi.sen1.tide.tool.support.DebugProcess;
004    
005    abstract public class ProcessTool
006      extends TideTool
007    {
008      protected DebugProcess process;
009    
010      //{{{ protected ProcessTool(ToolManager manager, DebugProcess process)
011    
012      protected ProcessTool(ToolManager manager, DebugProcess process)
013      {
014        super(manager);
015    
016        this.process = process;
017      }
018    
019      //}}}
020    }