public void appendTypeName(StringBuffer b, String name)
        {
            int i = name.lastIndexOf('.');
            if (i >= 0)
            {
                String prefix = name.substring(0, i + 1);
                if (!prefix.equals("java.lang"))
                {
                    b.append("<font color='gray'>");
                    b.append(prefix);
                    b.append("</font>");
                }
                b.append(name.substring(i + 1));
            }
            else
                b.append(name);
        }