Jenkins option `--ajpPort13=-1` removed