SmartGitHg: don't assume we're on OpenJDK and replace JDK dependency with JRE