One previously missed JSDoc update from Error to Error|ServoyException