Support Java 9
Improve editor
Fix more editor bugs
Fix editor bug
Update libraries and improve Linux font rendering
Fix REPL freeze bug
Fix minor editing regression
Fix REPL bug and add test button
Add auto-indentation
Fix reload selection