BIN jenkinslint.hpi