On Wed, Jun 10, 2015 at 11:02:19AM +0200, Andreas Lundblad wrote: > What's the approperiate procedure here? Should I submit a patch that adds the type arguments to avoid forcing people to update their boot jdks? I have now pushed a patch that adds the type arguments. http://hg.openjdk.java.net/jdk9/dev/langtools/rev/5021d414632a -- Andreas