Removed override tags?

Alright.. now I'm just not sure if eclipse is right. I suppose it isn't
too hard to add them back in.