7001484: DOC: Method javax.swing.border.StrokeBorder.getBorderInsets() should specify how it converts float
Reviewed-by: alexp
--- a/jdk/src/share/classes/javax/swing/border/StrokeBorder.java Thu Jan 27 14:33:30 2011 +0300
+++ b/jdk/src/share/classes/javax/swing/border/StrokeBorder.java Mon Jan 31 21:22:42 2011 +0300
@@ -118,13 +118,17 @@
/**
* Reinitializes the {@code insets} parameter
* with this border's current insets.
- * All insets are equal to the line width of the stroke.
+ * Every inset is the smallest (closest to negative infinity) integer value
+ * that is greater than or equal to the line width of the stroke
+ * that is used to paint the border.
*
* @param c the component for which this border insets value applies
* @param insets the {@code Insets} object to be reinitialized
* @return the reinitialized {@code insets} parameter
*
* @throws NullPointerException if the specified {@code insets} is {@code null}
+ *
+ * @see Math#ceil
*/
@Override
public Insets getBorderInsets(Component c, Insets insets) {