JAL-3609 HiDPI scale setting done via system prop in getdown or halview.bin.Launcher

[jalview.git] / getdown / src / getdown / mvn_cmd

diff --git a/getdown/src/getdown/mvn_cmd b/getdown/src/getdown/mvn_cmd
index 3f9b4a2..d10f7a8 100755 (executable)
--- a/getdown/src/getdown/mvn_cmd
+++ b/getdown/src/getdown/mvn_cmd
@@ -3,7 +3,7 @@
 if [ x$JVLVERSION != x ]; then
   export VERSION=$JVLVERSION
 else
-  export VERSION=1.8.3-1.2.4_JVL
+  export VERSION=1.8.3-1.2.5_JVL
 fi
 
 if [ x${VERSION%_JVL} = x$VERSION ]; then