lampepfl/dotty — pull request #184 by odersky (2014-10-10 14:32:51+00:00)
Title: Add the right constructor to Java annotations

Review by @olhotak please.