json - JSON Builder で整数から引用符を取り除く

Question

JSON テンプレートを作成するには、以下の groovy スクリプトを実行する必要があります。私が直面している問題は、テンプレート内の整数が引用符で囲まれていることです。変数から引用符を取り除くと、文字列のように扱われます。

cat port.txt
1001

これが私のJSONビルダースクリプトです

def test = new groovy.json.JsonBuilder()
   test {
    ports new File('ports.txt').readLines()*.trim().collect { p ->
        [name: "$p-tcp", protocol: "TCP", port: "$p", targetPort: "$p"]
    }
}
println test.toPrettyString()

実行すると、次のように吐き出されます。

{
"ports": [
    {
        "name": "1001-tcp",
        "protocol": "TCP",
        "port": "1001",
        "targetPort": "1001"
    }
]
}

ただし、ポートとtargetPortsの引用符をそのように取り除きたい

{
"ports": [
    {
        "name": "1001-tcp",
        "protocol": "TCP",
        "port": 1001,
        "targetPort": 1001
    }
]
}

これを達成する方法についての手がかりは大歓迎です。