_[Original issue](https://code.google.com/p/error-prone/issues/detail?id=36) created by **eaftan@google.com** on 2012-08-28 at 09:42 PM_ --- Check that any method that overrides another method is annotated with @Override. Perhaps this shouldn't be an error but rather a warning.
Original issue created by [email protected] on 2012-08-28 at 09:42 PM
Check that any method that overrides another method is annotated with @Override. Perhaps this shouldn't be an error but rather a warning.