updated setup, and build documentation: building with JDK 7 causes the
android app to crash with a class not found exception.