258259260261262263264265266267268
} @Test public void test_return_illegal_char_sequence() { char_sequenceHolder c = new char_sequenceHolder(); try { server.return_illegal_char_sequence(c); fail(); }