Add the right constructor to Java annotations#184

odersky wants to merge 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/java-annotationsdotty-staging/dotty:fix/java-annotationsCopy head branch name to clipboard