有一个字符串“1234a567b89c0123456”我想格式化成"1234-a56-7b8-9c0123456"
有没有类似格式化日期SimpleDateFormat那种直接格式化的类呢?