Make font size smaller in editor
Reorganize, improve, and add new Java exercises