camptocamp/c2cgeoportal — pull request #970 by sbrunner (2014-06-04 10:12:26+00:00)
Title: The mobile wasn't build (whitespace and comments)

The _JAVA_OPTIONS is overridden by the sencha_cmd than we can't define it, ans I asked the sysadmins to be larger on all the GeoMapFish servers.