ch.epfl.lamp:dotty-language-server_0.21:0.21.0-bin-20191217-fa9a48e-NIGHTLY - Javadoc is being downloaded. Normally this will be completed within 10 minutes. Please refresh page again later. Report to us if this isn't finished after a few hours