JRE with Proxy

Let JRE aware of proxy by default. This package can be used standalone, while my main usage is for nvim-metals lsp. Without proxy, the scala package update make me headached.

For usage example, see my nvim-metals config

{ runCommand
, writeShellScript
, jre
, lndir
, proxyHost
, proxyPort
}: let
  java_with_proxy_sh = writeShellScript "java" ''
    ${jre}/bin/java -Dhttp.proxyHost=${proxyHost} -Dhttp.proxyPort=${proxyPort} -Dhttps.proxyHost=${proxyHost} -Dhttps.proxyPort=${proxyPort} "$@"
  '';
in runCommand "jre_with_proxy" {} ''
  mkdir -p $out
  ${lndir}/bin/lndir -silent ${jre} $out
  rm $out/bin/java
  ln -s ${java_with_proxy_sh} $out/bin/java
''