switch to Java 1.7

At least since march both ADT and Android Studio support Java 7 features
in Android development. Let's use them.