Java FAQs: fix quotes escape.