Why should it frustrate other developers?

One should never add a *.jar file into the git repository. And ignoring them via .gitignore makes it just a little bit harder. If you really want one you use "git add -f path/to/my.jar"

But if you insist I will back it out.