git ignore to exclude .jars
Merge branch 'master' into high-level-api