playframework/play1 — pull request #715 by tietang (2013-12-19 09:47:56+00:00)
Title: 1.2.x In DEV mode and Linux(CentOS 6.3) , after modify file, all of files were compiled, not modified file. 

1.2.5.3/1.2.7 In DEV mode and Linux(CentOS 6.3) , after modify file, all of files were compiled, not modified file.