Add the right constructor to Java annotations#184

Closed

odersky wants to merge 1 commit intoscala:masterfrom

dotty-staging:fix/java-annotations

Commits on Oct 10, 2014

Add the right constructor to Java annotations
odersky
committed