Java doc og @Override notation