Back to DejaVu Sans Mono font.
Add modified java snippets