playframework/Play20 — pull request #1250 by calvinkrishy (2013-06-26 20:32:30+00:00)
Title: build script to use JAVA_HOME if defined

Fixes Issue #985