source of BlockLauncher, a launcher that patches Minecraft Pocket Edition for Android