如何替换properties文件中的冒号啊？

Question

我要写入172.16.31.34:12这种形式，为什么每次写入都是
172.16.31.34\:12
我试过多种方法，如：
String[] array = str.split(":");
str = array[0].substring(0,array[0].length()-1)+":"+array[1];
还有str.replaceAll("\\:",":");
都不行，谁有好的方法？？？
我看jdk源代码中properties的store的代码就是遇到特殊字符会替换，比如:会替换成\:

Answer 1

用properties load就替换了嘛

Answer 2

问题解决了，原来是文件没有被删除导致重命名失败
但是这个方法不太好，有没有好的方法解决在properties文件中替换\:的方法哪？

Answer 3

这个不会有问题的啊。
写入的时候:自动替换成\:
读的时候你还是用Properties的load来读，这样还是得到的是: