Refactoring Android programs with exceptions to make robust.