Java doc support