private static final String OPENJDK_JGSS_EXT_GSSCTX_CLASS = "com.sun.security.jgss.ExtendedGSSContext";

    private static final String IBM_JGSS_INQUIRE_TYPE_CLASS = "com.ibm.security.jgss.InquireType";
    private static final String IBM_JGSS_EXT_GSSCTX_CLASS = "com.ibm.security.jgss.ExtendedGSSContext";

    private static final Class<?> EXT_GSS_CONTEXT_CLASS;
    private static final Method INQUIRE_SEC_CONTEXT;

                    }
                    state = ST_EXT;
                case ST_EXT:
                    switch( ch ) {
                        case ' ':
                        case '\t':
                        case '\n':
                        case '#':
                            for( i = 0; i < x && x == ext.length && buf[i] == ext[i]; i++ ) {
                                ;
                            }

                    i = name.lastIndexOf('.') + 1;
                    if ( i > 1 && ( name.length() - i ) < 6 ) {
                        out.print(name.substring(i).toUpperCase() + "</div class='ext'>");
                    }
                    else {
                        out.print("&nbsp;</div>");
                    }
                    out.print("<div style='width: 180'>");

                    i = name.lastIndexOf( '.' ) + 1;
                    if( i > 1 && (name.length() - i) < 6 ) {
                        out.print( name.substring( i ).toUpperCase() + "</div class='ext'>" );
                    } else {
                        out.print( "&nbsp;</div>" );
                    }
                    out.print( "<div style='width: 180'>" );