class a { void foo() { String s = "abc\"def"; } }