Index: ../trunk-jpl/test/NightlyRun/IdToName.m
===================================================================
--- ../trunk-jpl/test/NightlyRun/IdToName.m	(revision 18542)
+++ ../trunk-jpl/test/NightlyRun/IdToName.m	(revision 18543)
@@ -257,6 +257,7 @@
 	case 3115, name='SquareShelfConstrainedMasstransp2dAdolcForwardDifferenceMumps';
 	case 3019, name='SquareShelfConstrainedTherTranAdolcReverseVsForward';
 	case 3120, name='SquareShelfConstrainedTranAdolcReverseVsForwardMumps';
+	case 4001, name='IceOcean';
 
 
 	otherwise, name='N/A';
