Remove developer-specific entries from .gitignore
Use our own stripped-down version of Patterns.java

Because Patterns.java is an API level 8 API.