java snippets formatting