java lib for bash string escape