after12.java

// "Change '"' to "\"" (to String literal)" "true"
class Quotes {
    void m1(String s) {}

    void test() {
        m1(<caret>"\"");
    }
}