@change Flag.php modified: constructor added; methods changed to be final.