lampepfl/dotty — pull request #317 by odersky (2014-12-21 11:42:32+00:00)
Title: Fix/java varargs

A series of fixes related to the problem of passing varargs to Java methods.