@Test public void abbrev_04()
{

    StringAbbrev abbrev = new StringAbbrev() ;
    abbrev.add("x", "He") ;
    test("Hello", ":x:llo", abbrev) ;
    test("hello", "hello", abbrev) ;
    test(":hello", ":_:hello", abbrev) ;
}