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