Clean up (done by eclipse)