correcting weird @override errors. probably an eclipse vs. me problem