v4.0.1

git subrepo push --branch=4.0.1 swim-java/swim-runtime-java

subrepo:
  subdir:   "swim-java/swim-runtime-java"
  merged:   "e6c64d9e1"
upstream:
  origin:   "[email protected]:swimos/swim-runtime-java.git"
  branch:   "4.0.1"
  commit:   "e6c64d9e1"
git-subrepo:
  version:  "0.4.0"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "5d6aba9"