void () { // Found by XmlCodeInsightSanityTest.testIncrementalHighlighterUpdate //noinspection TextBlockMigration configure("<!DOCTYPE faces-config PUBLIC\n" + " \"-//Sun Microsystems, Inc.//DTD JavaServer Faces Config 1.0//EN", "\"\n" + " \"http://java.sun.com/dtd/web-facesconfig_1_1.dtd\">\n" + "<faces-config>\n" + "</faces-config>\n", XmlFileType.INSTANCE); runConsistencyTest( () -> { doc.deleteString(offset, doc.getTextLength()); // Remove everything after 'EN', leave string unfinished doc.insertString(offset - 25, "\""); // Close string in the middle }); }