[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Most recent JRE version compatible with TLA+ Toolbox?
- From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
- Date: Thu, 2 Jun 2022 09:14:01 -0700
- Ironport-data: A9a23:XxHrR6qRO4tgqb1gHotDPWufwrNeBmKYYBIvgKrLsJaIsI4StFCzt garIBmPbK3ZYzf1co8gadmypxlSv5fVmN82HAtp+Cs3Hy9D8ePIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHoZqTZMEE/Nszo68wICqtMu0IHR7z+l4 4uo+ZWBYAX9glaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurT3VxsXEfLgx9gjVj5kQgB9bLBdu+bIdC3XXcy7lyUqclPpyvRqSUU0ZMgWo7YsR25J8 vMcJXYGaRXra+CemurqDLkxwJ57fI+ybNh3VnJIlVk1Cd46RZnbR7jRptVe1x0bpvJ2MsbyV +MwUxBTMjicRD5mH3guJakcs8mBpVDXfDpfp1aYqrAw/nDIigd21dABNfKOK4bXFZgFwi50o ErdzU3hRUgDLeXFzDe192nyuLKVvgPkDdd6+LqQr6Y22jV/3Fc7BBwNXkagutGljkf4XslFb k0S4Csn66k07k2iCNfnNyBUu1aBtx8YHt5SSqg0sVHWjKXT5AmdCy4PSTsphMEaWNEeAiI26 HDWs4zVOzlIjOy0SiOA7fTNombnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obl3rUZ/hmgk 1i3QDgCa6Y71pFUiv3qlbzTq3f9+ciTF19dChD/Bzr9tmtEiJiZi5tEAGU3AN5FJYedC12D5 T0KwpjFqu8JCp6JmWqGR+Bl8FCVCxStb2a0bb1HRcFJG9GRF5iLIdA4DNZWeBcBDyr8UWW1C HI/QCsIjHOpAFOkbLVsf6W6ANkwwK7rGLzND66JMoMWMsIqLFHbrEmCgHJ8OUi9wCDAdolva f+mnTqEUB729Iw8kWDmGL1HuVPV7nFjmTi7qW/HI+SPiOLCPhZ5uJ8KN1yBau1R0U93iFS9z jqrDOPbm313CbWgCgGOqN57BQ1UcBATWM+uw+QKJr/rClc3RAkJVq6BqZt/IdANt/oOzY/go CrtMnK0PXKk7ZExAVjWMS8LhXKGdc0XkE/XygR3YAf2hiB+Pd/whErdHrNuFYQaGCVY5aYcZ 5E4lw+oW5yjkxzLpGYQa4fTtotneEj5jA6CJXP7Mjc4eJFkSgPT/cL8ZU3k8yxXVni7ss43o ruB0ALHQMtTHF87V5mIN///nUmsuXU9mf5pWxeaKNdkfkixopNhLDb8j6NqLsxVcUfDyzKW2 hy4GxAdoeWR8YY5/MOQ3PKAooKsCPdzBAxWEjCDv7qxMCDb+EulwJNBCbrZI2qCCTmsoKj7P Ldb1fDxNvEDjW1miYskHuY517866vvuu6ReklZuEkLNYgn5EbhnOHSHgZRCu6AUne1ZtAK6V 1i198FeKKmOPM+5QlcdKBB8MLaM0vYbnjTd9/MoOF687yhypeLVXUJXNhiKqSpcMLokYNh+m Lx+5pEbu16llx4nEtealSQIpW6CGXoNDvc8vZYADY631wcmxw0QYZHYDSOqspiDZ88WbhsvK z6Qwa7A3vFSnxqZNXU0EnfJ0KxWgpFX4EJGy1oLJlKonNvZh69ogEcAr2xvFgkFnA9a1+9TO 3RwMxEnL6u5+To11tNIWHqhGl0cCRDIqEjw0Ec0knbERU2kCj7EIGEnZ7bf+UkY935bLDdc+ 76cxWn/VivyZ4T01y07VkMm8KOzHIAsqF2dwZn5XNmDBIQwejH/g6WjTWUPrBTjDMwrg1Dfv q9h++MpMf/3MisZoqsaDYiG1OVAE0vdfzMcHvwxrrkUGWz8eS2p3WTcIU6GfM4QdefB9lW1C pAzK89DC0a32CqU8mFJBbIQO6Qm27km/t0fYqitKmkBvL+S6DFutdXf7C/jnCg3R9x2ldsmb ZjMfSmJCG2aiHZZxz3XoM9fNjbqaNUIflegjuW88eFME5Ba9e81IRp03byzsHGYdgBg+kvM7 g/EYqbXyc1kyJhtz9SwSPQdX13sJIOhTvmM/SCyr89KMYHFP/DIul5HsVLgJQlXYeYcVtkfe W5hazIrMJ4pfYraUlw1X7GEHqhNoMGwBa9Za5KsanZdmiSGVYnn5B5rF6VU73BWuIs12yVlb 1LQhAiMmRo9VNBay3lYZDJZDg4GTa/wa88MYAuj+u+UBEF1PRPvdbuaGLyAUY2fXiAPPJL6B wDuvOu2/ZZTq4Ek6NrowR15K8cQHWIPkpfKuzE8Wfd0w4Vobp6/VmPeqCcd
- Ironport-hdrordr: A9a23:Q8RQ36g8s5EmSqig7UzoCD8aBnBQX5N13DAbv31ZSRFFG/FwyP rD7YwmPE7P5UdpZJh/o7rwXpVoIEmsiqKdhLN/AV7MZniXhILFFvAf0WKm+UyUJ8URntQtlZ uJXcBFeZzN5BtB/IvHCDDRKadv/DD/ytHquQ9qpE0dBz2CFZsQmzuRezzrbHGeHzM2TqbRfa D0jqE3w0vaCAkqg9yAdwM4tqr41q72ffTdEFY77jEciTVm5gnYmYISfSLorCv3klt0sNIfGK v+8zARJJ/MjxkKoSWsmFM7I64m++cIx7B4dYWxYjh/EESbtu9gXvUCKtq/lQFwm/u34FIm1O HRrwste+R/gkmhCV2dkF/WwgHllBwu53XhxVLdoXymj9f+WCtSMbsMub5k
- Ironport-sdr: 1iY1T/WomS2JG1ihyfkQ5bSa8CIG1/Pj3K91M1x5dC3T5e/buGDIZM+fUjiAxcuVNtCeI8PZ0q qk4Pj5EJBVQMDo/skyMESxSDCdLKCeaXHTsBJKIUk/6nH8yb2uOt6x6jGu8PCY2qNr5gXAgtFQ VRg1a+CtL4LSivFjLwtwwC/dphsWA06jfSI/YjmnNlekM4wcuW78U1JMihRc2KmWIpEeFUeYbr UlrDZ3jaHSut0PwFK0KSWLzMAoowUEoZ3KHRYEkpoR6/l8ryGOD7nr8mg4v+w6HWbYfg4VIvBq aXenoKYTJa5fXJ89vHDW1LBF
- References: <4eceed2c-5e49-4ad9-8326-694b3b834f5fn@googlegroups.com>
Hi Paolo,
the TLA+ Toolbox bundles its own JVM, which - as of today - is Java 14. The Toolbox and TLC also run fine on newer releases such as Java 18.
Markus
> On May 31, 2022, at 4:33 AM, Paolo Garroni <pfgrrn@xxxxxxxxx> wrote:
>
> The TLA Toolbox reportedly runs on Java 1.8, but security concerns suggest more recent versions (say, Java 17 or higher). Anyone confirm what mix would work fine?
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/4598CA9E-1BFD-4F5F-8D49-333E2F03AEC6%40lemmster.de.