For recording useful java snippets