https://entri.app/blog/differences-between-jdk-jre-and-jvm/