deleted eclipse-generated stuff