Turn off Java linting.
Smaller font for terminal windows.