Merge branch '1.8'
tree: 9e31cd25bbbd67a0d7719c2eaddce09add0fea19
  1. src/
  2. .gitignore
  3. pom.xml
  4. proxy.properties