export default interface UserPrincipal { getName(): string; implies(subject: any): boolean; } export default class UserPrincipal { static get $javaClass(): any; }