[Java] Enum EditorDocument.Format