final deletion

Os objectos que deveriam ter sido removidos no commit anterior foram
agora definitivamente removidos.