Si instalaste el paquete default-jdk en Ubuntu 18.04, por estas fechas (septiembre 2018) obtendrás el paquete openjdk-11-jdk. Es un poco confuso porque hasta septiembre de 2018 lo que en realidad instala es Java 10:
Sólo después de septiembre de 2018 se va a instalar Java 11 con el paquete openjdk-11-jdk.
También podrás comprobar que en Eclipse no está funcionando el Javadoc al hacer hover sobre las clases. Para solucionar el problema vamos a Window -> Preferences -> Java -> Installed JREs y seleccionamos el JDK “11”:
Hacemos click en Edit, abrimos los detalles y seleccionamos Javadoc location:
La URL es http://docs.oracle.com/javase/10/docs/api/. Asegúrate de usar http, no https. Puedes usar el botón Validate para comprobar la URL:
También podemos configurar las sources para poder verlas desde Eclipse. Primero hay que instalar el paquete:
sudo apt install openjdk-11-source
Luego seleccionamos Source attachment en la ventana Edit JRE e ingresamos el path de las fuentes:
/usr/lib/jvm/openjdk-11/lib/src.zip
De esta forma tenemos todo configurado y cuando hagamos hover vamos a ver el Javadoc y con F3 u Open Declaration las fuentes de la class library.
Orlando Ramírez 