files pass gjslint
Formatted synthesis.js