Java doc to be included with our submission