# Generated from gettingStarted.pro.