Modification of Processing android_api.pde