If you want to modify this file, it is recommended to read the cup documentation
(http://www2.cs.tum.edu/projects/cup/docs.php) first.
Please pay attention to and resolve the conflicts after the modification.