class CasProxyProfile extends CasProfile {

    @Serial
    private static final long serialVersionUID = 4956675835922254493L;

    protected AttributePrincipal attributePrincipal = null;

    /**
     * Store the CAS principal.
     *
     * @param attributePrincipal the principal with attributes
     */
    public void setPrincipal(final AttributePrincipal attributePrincipal) {
        this.attributePrincipal = attributePrincipal;
    }

    /**
     * Get a proxy ticket for a given service.
     *
     * @param service the CAS service
     * @return the proxy ticket for the given service
     */
    public String getProxyTicketFor(final String service) {<FILL_FUNCTION_BODY>}
}

        if (this.attributePrincipal != null) {
            logger.debug("Requesting PT from principal: {} and for service: {}", attributePrincipal, service);
            val pt = this.attributePrincipal.getProxyTicketFor(service);
            logger.debug("Get PT: {}", pt);
            return pt;
        }
        return null;
    
<methods>public non-sealed void <init>() <variables>private static final long serialVersionUID