`URLEncoder` should do it as well and even has the advantage that one can read the processor id in the snapshot filename. Will change it.