Versión de JDK al exportar y crear war en eclipse

Al generar el archivo WAR desde eclipse para ser desplegado en un servidor, debemos estar seguros la versión en donde lo estamos compilando. Para ello el IDE eclipse toma la configuración que se haya realizado en preferencias:

Resaltar que en el SO podemos tener instalado otras versiones de Java, así lo mismo en nuestro JAVA_HOME configurado una versión diferente.

Una vez generado el archivo podemos verificar si efectivamente se ha compilado en una versión correcta abriendo el archivo Manifest