void printStdout(String text) {
        if (text.lastIndexOf("%r") > 0) {
            stdout.replaceRange(text.substring(text.lastIndexOf("%r") + 2),
                    stdout.getText().lastIndexOf('\n') + 1,
                    stdout.getText().length());
        } else {
            stdout.append(text);
            stdout.setCaretPosition(stdout.getDocument().getLength() - (text.length() - 1));
        }
    }