import java.beans.*;

svoid fixSwingTitledBorderMemoryLeak() {
  PropertyChangeListener[] l = UIManager.getPropertyChangeListeners();
  for (O o : l)
    if (eq(className(o), "javax.swing.border.TitledBorder$1")
      && getOpt(o, "this$0") != null) {
      setOpt(o, "this$0", null);
      print("FIXED TitledBorder bug.");
    }
}