The Android browser is switching to using the Chromium platform, and we can therefore remove the existing incomplete Android port.
Closing this issue as the code has been removed.