Mike Primm 17fd2c1efe Use replace() instead of replaceAll(), where possible		2011-12-29 14:32:13 +08:00
..
main	Use replace() instead of replaceAll(), where possible	2011-12-29 14:32:13 +08:00