java: indentation fix