private static void testEmptyMapMutatorsAlwaysThrow(Map<Integer,Integer> m){
  if (!m.isEmpty()) {
    fail("map is not empty");
  }
  THROWS(UnsupportedOperationException.class,null);
}

private static void testEmptyMapMutatorsAlwaysThrow ( Map < Integer , Integer > m ) { if ( ! m . isEmpty ( ) ) { fail ( "map is not empty" ) ; } THROWS ( UnsupportedOperationException . class , null ) ; }
as above , for an empty map .
