this.cache.put( o, p, subj, new PrivilegeCacheElement(o, subj, p, hasPriv) );
this.getCache().put( o, p, subj, new PrivilegeCacheElement(o, subj, p, hasPriv) );
  public void put(Owner o, Subject subj, Privilege p, boolean hasPriv)    throws  PrivilegeCacheException  {    // Store the value without any cache flushing    this.cache.put(      o, p, subj, new PrivilegeCacheElement(o, subj, p, hasPriv)    );  } // public void put(o, subj, p, hasPriv)