Modifying PR #29 UI checkbox not necessary for marking a build as
parametrized
fix checksytle errors
Merge pull request #44 from pintos/master

Modifying PR #29 UI checkbox not necessary for marking a build as parametrized