[Soot-list] Relaxing Semantic rules for Java?

[Marc-Andre Laverdiere-Papineau]

Hello,

I am parsing a big code base, Alfresco, and I am getting some parsing 
errors because of @Override annotations.

Here are a few, but they're all on the same pattern
org/alfresco/wcm/client/impl/ResourceBaseImpl.java:110:
   Semantic Error: method does not override a method from its superclass
org/alfresco/wcm/client/impl/ResourceBaseImpl.java:119:
   Semantic Error: method does not override a method from its superclass
org/alfresco/wcm/client/impl/ResourceBaseImpl.java:129:
   Semantic Error: method does not override a method from its superclass
org/alfresco/wcm/client/impl/ResourceBaseImpl.java:138:
   Semantic Error: method does not override a method from its superclass

I'm attaching the superclass and the extending class.

I had this on a previous file, and I 'solved' the problem by deleting 
the annotations, but I don't feel like doing it for the whole program. ;)

At a quick glance, I don't see what would be wrong.
P.S. Note that the original file didn't have the methods public. I added 
that, but it didn't solve anything

First: is that a bug in the Java front-end?
Second: if not, is there an option to relax the semantic rules to get a 
warning instead?

-- 
Marc-André Laverdière-Papineau
Étudiant au doctorat - PhD Student

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Resource.java
Type: text/x-java
Size: 2066 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120711/74c4905c/attachment.bin 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ResourceBaseImpl.java
Type: text/x-java
Size: 5790 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120711/74c4905c/attachment-0001.bin