/** Convert and check result for second alternative. */
 public void testRedmultiError() {
   convertAndCheck(
       RedmultiCases.getFactory(),
       RedmultiCases.getJavaObjectError(),
       RedmultiCases.getHostBytesHexError());
 }
 /** Convert and check result for first alternative. */
 public void testRedmultiNormal() {
   convertAndCheck(
       RedmultiCases.getFactory(), RedmultiCases.getJavaObject(), RedmultiCases.getHostBytesHex());
 }