Cleanup ignores, 1.5 compatibility and test failures

This branch contains a few cleanups I had to do after importing mockito:
* There are a few more ignores required for Eclipse. 
* As Mockito is configured for 1.5 source compatibility it should adhere to it. Therefore I removed the @Override annotation where it would cause compile errors on 1.5
* There was a test failure possibly because of a double execution of a particular test case. However, only a small fix was necessary to make it work properly.