我需要生成一个href到一个URI.当涉及到需要百分比编码的保留字符时链接到/ some / path;元素应该显示为 a href =“/ some / path; element” (我知道该路径;元素代表单个实体). 最初我正在寻找一个这样做的Java库,但我最终自己写了一些东西(看下面的Java是什