Updates to Android java extension API