Java FAQs: fix dollar escape.