Remove Eclipse-error-causing things