UpdateFX: a library for doing flexible, multi-signed web style online updates of Java applications