// 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); }