playframework/Play20 — pull request #1309 by wsargent (2013-07-08 23:23:23+00:00)
Title: Remove -Xlint:-options from javadoc

This is a fix for #1308.