Patch against 3.1.2 build.xml to set source=1.2