playframework/play1 — pull request #796 by gpgekko (2014-08-29 13:46:49+00:00)
Title: Update javadoc.py

[#57987] Fix broken command by passing the full path for the command options