public void addTool(String packageName,Tool tool){
String id = tool.getID();
String package_ = packageName;
String mypath = ToolPairToRelativePath(id,packageName);
toolDB.put(id, new Triple(mypath, package_, tool));
/*
* Add to index tree.
*/
ToolEntry toolEntry = new ToolEntry();
toolEntry.path = mypath;