A graph tool for viewing, modifying and refactoring Android applications