title: Where is the official list of zone names for java.time?
body: <p>Is there an official list of zone names that are used for the following:</p>
  
  <pre><code>zoneId = ZoneId.of("America/New_York")
  </code></pre>
  
  <p><strong>Or is it possible for java.time.ZoneId to generate the list itself that I can use?</strong></p>
  
  <p>I'm using this to convert an Instant to a string representation of time like:</p>
  
  <pre><code>ZoneDateTime.ofInstant(instant, zoneId).format(DateTimeFormatter.ofPattern("..."))
  </code></pre>