Avoid BEAST Java version mis-match just like Beast does