export const CertPath = $.type("java.security.cert.CertPath");
export const Certificate = $.type("java.security.cert.Certificate");