bool
Principal::operator!=(const Principal& p) {
    return !(getHashCode()==p.getHashCode());
}
bool
Principal::operator==(const Principal& p) {
    return getHashCode()==p.getHashCode();
}