How to install Java 13 on Ubuntu 18.04.3 from terminal with sudo privildges?
Followed https://openjdk.java.net/install/index.html per Pilot6 comment (thanks).
JDK 9 & Later
Oracle's OpenJDK JDK binaries for Windows, macOS, and Linux are available on release-specific pages of jdk.java.net as .tar.gz or .zip archives.
As an example, the archives for JDK 13 may be found on jdk.java.net/13 and may be extracted on the command line using
$ tar xvf openjdk-13*_bin.tar.gz
Used sudo mv to move directory 'jdk-13.0.1' to /usr/lib/jvm/
Then in my ~/.profile file added/edited (as I had Java 11 before) in text editor:
export JAVA_HOME=/usr/lib/jvm/jdk-13.0.1 export PATH=$JAVA_HOME/bin:$PATH
In the current terminal gave above two commands and could use Java 13. Worked after restart too due to entry in ~/.profile