Bonjour,
Je suis aussi sur la dernière Linux Mint, mais la version Debian (LMDE 6).
Je n'ai aucun problème de mon côté pour utiliser l'AppImage de la version 13, en utilisant openJDK 17 qui est installé de base dans ma source logiciel.
Des fois, quand quelque chose bloque, le plus simple est de supprimer entièrement le dossier /.ancestris.
Certes vous perdez vos réglages de préférences, mais vous pouvez les réimporter si vous avez fait un export en amont, ce que je conseille de faire et de le sauvegarder ailleurs.
Sur les bases Ubuntu, je déconseille les ppa, non fiables, au profit des AppImage.
Rémi