235236237238239240241242243244245
finally { con.close(); } needReboot = needReboot || updateHandler.needReboot(); newUserPreferences = newUserPreferences || updateHandler.hasNewUserPreferences(); } else { System.out.println("UpdateDatabase: Unable to find update handler for module '" + moduleId