public static int getMaxPageBorderShiftBytes() {
    return getPropertyInt(MAX_PAGE_BORDER_SHIFT_PROPERTY_NAMES, DEFAULT_MAX_PAGE_BORDER_SHIFT_BYTES);
  }
public static int getMaxPageBorderShiftBytes()