--- old/src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java 2017-03-14 01:09:56.989136343 -0700 +++ new/src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java 2017-03-14 01:09:56.751136347 -0700 @@ -1278,6 +1278,7 @@ * * @param textStyle the text style to use, not null * @return this, for chaining, not null + * @since 9 */ public DateTimeFormatterBuilder appendGenericZoneText(TextStyle textStyle) { appendInternal(new ZoneTextPrinterParser(textStyle, null, true)); @@ -1303,6 +1304,7 @@ * @param textStyle the text style to use, not null * @param preferredZones the set of preferred zone ids, not null * @return this, for chaining, not null + * @since 9 */ public DateTimeFormatterBuilder appendGenericZoneText(TextStyle textStyle, Set preferredZones) {