// Delete a given tool from the list of tools that this member is currently holding
public void deleteTool(Tool aTool)
{
tools.delete(aTool);
}
// Deletes the given tool from the currentCollection
public void delete(Tool aTool)
{
currentCollection.delete(aTool);
}
