/**
* No border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_NONE = 0x0;
/**
* Thin border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_THIN = 0x1;
/**
* Medium border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_MEDIUM = 0x2;
/**
* dash border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_DASHED = 0x3;
/**
* dot border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_DOTTED = 0x4;
/**
* Thick border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_THICK = 0x5;
/**
* double-line border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_DOUBLE = 0x6;
/**
* hair-line border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_HAIR = 0x7;
/**
* Medium dashed border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_MEDIUM_DASHED = 0x8;
/**
* dash-dot border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_DASH_DOT = 0x9;
/**
* medium dash-dot border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_MEDIUM_DASH_DOT = 0xA;
/**
* dash-dot-dot border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_DASH_DOT_DOT = 0xB;
/**
* medium dash-dot-dot border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_MEDIUM_DASH_DOT_DOT = 0xC;
/**
* slanted dash-dot border
- * @deprecated Use {@link BorderStyle}
+ * @deprecated 3.15 beta 1. Use {@link BorderStyle} instead.
*/
short BORDER_SLANTED_DASH_DOT = 0xD;