Delete GhitaAgent.java