Annotation of the DoomFile.java methods/fields