Javaの可変長引数で､可変長引数をとるﾒｿｯﾄﾞに何も引数を渡さなかった場合､呼び出されたﾒｿｯﾄﾞは空の配列が渡されるようなのですが仕様に見当たりません｡ ↓可変長…

Javaの可変長引数で､可変長引数をとるﾒｿｯﾄﾞに何も引数を渡さなかった場合､呼び出されたﾒｿｯﾄﾞは空の配列が渡されるようなのですが
仕様に見当たりません｡

↓可変長引数は､Java1.5で導入されたようです｡
http://docs.oracle.com/javase/1.5.0/docs/relnotes/features.html

↓JSR201(?)にも見当たりませんでした｡
http://jcp.org/aboutJava/communityprocess/final/jsr201/index.html

なので､真面目に従うと要素数0の配列を渡さないといけない(?)のですが
引数を無しで呼び出しても､ｺﾝﾊﾟｲﾗに怒られないし呼び出しも上手くいってしまいます｡

仕様上OKなのかどうか､気になって夜も眠れません｡どなたか説明できる方､いらっしゃいますでしょうか?
Javaは始めて数ヶ月なので､もっと基礎的な部分で理解できていない場合は､その旨ご指摘下さい｡

呼び出されたﾒｿｯﾄﾞは空の配列が渡されるようなのですが

正確に書くと､｢要素数ｾﾞﾛの配列が渡される｣のです｡

真面目に従うと要素数0の配列を渡さないといけない(?)のですが

いいえ､違います｡
ﾒｿｯﾄﾞに自動的に｢要素数ｾﾞﾛの配列が渡される｣のであって､渡す側が要素数ｾﾞﾛの配列を用意する必要はありません｡

詳しくは下記ﾍﾟｰｼﾞをご覧下さい｡
http://www.techscore.com/tech/Java/JavaSE/JavaLanguage/6/

The Java Language Specification, Third Edition
http://docs.oracle.com/javase/specs/jls/se5.0/html/j3TOC.html

仕様は 15.12.2.4 から 15.12.2.5
http://docs.oracle.com/javase/specs/jls/se5.0/html/expressions.html#301239
にかけてかと思うんですが､仰るとおり､可変長ﾊﾟﾗﾒｰﾀにあたる部分を与えない場合にどうなるかは書かれていないように見えます(自信はないのですが……)｡

現在の挙動の根拠になっているのは､15章 Expressions の 15.12.4.2 の
http://docs.oracle.com/javase/specs/jls/se5.0/html/expressions.html#45449

If the method being invoked is a variable arity method (§8.4.1) m, it necessarily has n>0 formal parameters. The final formal parameter of m necessarily has type T[] for some T, and m is necessarily being invoked with k0 actual argument expressions.

If m is being invoked with kn actual argument expressions, or, if m is being invoked with k=n actual argument expressions and the type of the kth argument expression is not assignment compatible with T, then the argument list (e1, ... , en-1, en, ...ek) is evaluated as if it were written as (e1, ..., en-1, new T{en, ..., ek}).

の部分であるように考えます｡
ここでﾊﾟﾗﾒｰﾀが $e_{n-1}$ までしかない場合(k == n - 1 の場合)､new T[]{} として初期化される=要素数0の配列が与えられる､ということではないかと｡