Use java.util.HexFormat in java.security

The HexFormat formatter and parser can replace adhoc hex encoding and decoding in the sun.security package.