- jenkins: fix ServoyParser.js