fix several Eclipse IDE errors