tree 07fe11185352480e4cc98481a93a34bed239b6ea
parent b10dabfe072934863f2a2d9c9c54f0b8030ff7a3
author Sean Owen <srowen@gmail.com> 1505135137 +0100
committer Sean Owen <srowen@gmail.com> 1505135137 +0100

Require Android API 19, so fully use Java 7 try-with-resources, as well as a few other Java 7 features. Reduce deprecation warning count in android