!7

// https://bugs.openjdk.java.net/browse/JDK-8183385

static String s0 = "Hello World";
// (truncated) contents of jdk-headers-1.6.0/include/ibm/zos/jawt_md.h file encoding=IBM500/EBCDIC, read with UTF8

static String s1 = "a\\\u0015@\\@~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\u0015@\\@@\ufffd\ufffd\ufffd@\u00d6\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\u0015@\\@@\ufffd\ufffd\ufffd@\u25a4\ufffd\ufffd\ufffd@\u0501\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\u0015@\\\u0015@\\@@\ufffd\ufffd\ufffd@\ufffd\ufffd\ufffdk@\u0441\ufffd\ufffdM\ufffd\ufffd]@\u3143\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd@\u0144\ufffd\ufffd\ufffd\ufffd\ufffdk@\ufffd\ufffd\u0015@\\@@M\ufffd]@\u00d6\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd@\ufffd\ufffd\ufffd@\u00d6\ufffd\ufffdK@\ufffd\ufffd\ufffd\ufffdk@\ufffd\ufffd\ufffd\ufffdK@\ufffd\ufffd\ufffd@\u0649\ufffd\ufffd\ufffd\ufffd@\u0645\ufffd\ufffd\ufffd\ufffd\ufffd\ufffd\u0015@\\\u0015@\\";

p {
  swing { new main().go(); }
}

void go() {
  JFrame frame = new JFrame("BugRepro");
  frame.setBounds(100, 100, 800, 600);
  frame.setContentPane(foo());
  frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
  frame.setVisible(true);
}

JCheckBox c;

JPanel foo() {
  JPanel panel = new JPanel(new BorderLayout());
  JButton b;
  final JTextArea area = new JTextArea();
  JPanel p = new JPanel(new FlowLayout());
  panel.add(p, BorderLayout.NORTH);
  p.add(b = new JButton("click me"));
  p.add(c = new JCheckBox("include strange chars", true));
  panel.add(new JLabel("Hello"), BorderLayout.SOUTH);
  panel.add(new JScrollPane(area), BorderLayout.CENTER);
  
  // need to set a new Document b/c setText() sets the text of the old document.
  b.addActionListener(actionListener { area.setDocument(makeDoc()); });
  return panel;
}

Document makeDoc() {
Document doc = new PlainDocument();
try {
doc.insertString(0, makeString(), new SimpleAttributeSet());
} catch (BadLocationException e) {
throw new Error(e);
}
return doc;
}

String makeString() {
int MAX = 1000;

StringBuilder buf = new StringBuilder();
extracted(MAX, buf);
System.out.println("Including strange chars: " + c.isSelected());
if (c.isSelected()) {
buf.append(s1); // XXX This line slows down the rendering noticeably since it contains strange chars
}
extracted(MAX, buf);

return buf.toString();
}

static void extracted(int MAX, StringBuilder buf) {
for (int i = 0; i < MAX; i++) {
buf.append(s0);
buf.append("\n");
}
}