Fix annotations when coming from java.lang (like @Override)

Fix annotations when coming from java.lang (like @Override) #140