public void testBug4860() throws Exception {
  testBug4138();
}

public void testBug4860 ( ) throws Exception { testBug4138 ( ) ; }
here for housekeeping only , the test is actually in testbug4138 ( ) .
