ignoring a bit of eclipse cruft