Java 删除groovy中字段的第一个字符

我有一种自作自受的问题。我有一个数据库，其中一个字段有他自己的porperty_类型（“selfmake”…），它由一个字母和一个数字填充

我需要做的是，以一个“9位数”的版本输出数字，并用零填充。（值可以是F234，也可以是F12345678）。对于填充，我打算使用

myString.padLeft（8，'0'）

我的问题是起始字母。我如何摆脱它并将字段转换为字符串或int？我发现的所有java命令只适用于字符串或整数，而不适用于像我这样的混合类型。（删除字符、子字符串等）

---

有什么建议吗？提前感谢

使用

[]

操作员：

assert 'F1234'[1..-1].padLeft(8,'0') == '00001234'

---

哦，有了这个答案我觉得有点傻。。。就是这样，谢谢，抱歉！