private void pushFont(LwContainer container, String variable) {
    if (container.getBorderTitleFont() == null) {
      push((String) null);
    }
    else {
      pushFont(variable, container.getBorderTitleFont(), "getFont");
    }
  }
private void pushFont(LwContainer container, String variable)