JAL-3130 removing no longer needed JRE (going to use adoptopenjdk jre11)
[jalview.git] / utils / deprecation_auto_fixes.sh
2019-03-18 Ben SoaresJAL-3130 Some automatically fixed deprecated calls...