void () { LOG.debug("Seed is " + mySeed); int i = 0; try { initText(""); ((DocumentImpl)getEditor().getDocument()).setAcceptSlashR(true); configureSoftWraps(10); EditorImpl editor = (EditorImpl)getEditor(); for (i = 0; i < ITERATIONS; i++) { doRandomAction(editor, myRandom, ACTIONS); editor.validateState(); } if (editor.getDocument().isInBulkUpdate()) editor.getDocument().setInBulkUpdate(false); } catch (Throwable t) { String message = "Failed when run with seed=" + mySeed + " in iteration " + i; System.err.println(message); throw new RuntimeException(message, t); } }