O mesmo problema listado em bugs mas nenhuma solução utilizável e tem uma "correção liberado".
O Arduino está esperando um número "9" e não "9-interno". Eu sugiro usar outro JDK que use um dígito para numeração. O problema está na verificação do número de versão do Arduino para o JDK.