sbool isMaximized(JFrame f) {
  ret swing(-> f.getExtendedState() == JFrame.MAXIMIZED_BOTH);
}