Varargs: arrays disguised as parameters

A varargs parameter is an array with a different face. What the compiler does, why main(String[] args) and main(String... args) are the same, the overloading rules that confuse people, and what @SafeVarargs means.