[gjslint] Update formatting of core/util files.