errai/errai — pull request #108 by alex-on-java (2014-12-16 04:39:37+00:00)
Title: remove code dup in getErraiAppProperties()

It's just another small refactoring, if you don't mind