title: Java int... array notation
body: <p>I've seen this before in a method parameter, and it appears to allow an arbitrary number of parameters to be stuffed in an array created at run-time. What's the official name of this language feature? Thanks!</p>
  
  <pre><code>    public static void trace(View view, RecyclerTraceType type, int... parameters) {
  
      RecyclerTrace trace = new RecyclerTrace();
      trace.position = parameters[0];
      trace.indexOnScreen = parameters[1];
  }
  </code></pre>