void () { if (myHtmlEmbedmentInfo != null) { restartAfterEmbedment( myHtmlEmbedmentInfo.getRange().getEndOffset(), myHtmlEmbedmentInfo.getBaseLexerState() ); } else { super.advance(); } broadcastToken(); myHtmlEmbedmentInfo = null; }