@@ -1098,10 +1098,11 @@ } /** * Always returns {@code "[]"}. * @return {@code "[]"} + * @since 9 */ public String toString() { return "[]"; }