Java doc formatting