Configure tab options for java

Traditionally, I _do_ like to use 4-space tabs (actual _tab characters_)
in my Java files, unlike most other source code.