Added JSON export of all processes, fixed UI flaw, and hopefully adapted to new F-Droid build rules.