Flag: Shrunk JavaDocs on Flag.java