checkstyle for pre-, post-game, options, leaderboard, title page