made the Android platform JAR directory a normal configuration option