suppress some random Eclipse errors
merge with changes for Eclipse