static JComponent getInternalFrameTitlePaneComponent(JInternalFrame f) {
  ret (JComponent) childOfTypeWithClassNameEndingWith(f, 'InternalFrameTitlePane);
}