a tiny java tool for replacing strings in files