GF.Infra.Options: change from String to Int in the type of optJobs