Android GUI: Prepare for the new patchinfo class