static Area areaUnion(Area a, Area b) {
  if (a == null) ret b;
  if (b == null) ret a;
  a = (Area) a.clone();
  a.add(b);
  ret a;
}