workaround for bug when deleting an employee (would have thrown a
nullpointerexception in index.java)