Add jdk version and platform properties for Android

Change-Id: Ifd115de28cca055ca8ca5e59a60af00fbf1c2cf6
Signed-off-by: Dieter Scholz <disc@code2bytes.org>