to ease debugging under eclipse