Since I fixed the issue that crashed spork jpm build, it seems appropriate to make a new patch release.