Add the right constructor to Java annotations