static Dimension maxDimension(Dimension a, Dimension b) {
  ret a == null ? b : b == null ? a
    : new Dimension(max(a.getWidth(), b.getWidth()),
      max(a.getHeight(), b.getHeight()));
}