javadocs for the newly renamed MigrationException