public void dispose() throws GSSException { currentState = DELETED; if (mechCtxt != null) { mechCtxt.dispose(); mechCtxt = null; } myCred = null; srcName = null; targName = null; }