Merge branch '1.7' into 1.8

(No change in 1.8 branch)
tree: 59a43aa2b1e68f0873e2ae908cdb160a2c50b41d
  1. examples/
  2. src/
  3. .gitignore
  4. pom.xml
  5. proxy.properties
  6. README