Satisfy gjslint