Build #1242


This value normally never has to be changed here, by user. Its use is for the case that that the workspace has been manually cleaned (by admin), and the admin wants to pre-build the tip of the branch, before someone submits a Gerrit patch set. That allows the Patch Set to run with its normal quickness since the "first build" on a clean workspace takes longer.