public CFBamSwingTZDateDefPickerJInternalFrame(
     ICFBamSwingSchema argSchema,
     ICFBamTZDateDefObj argFocus,
     ICFBamScopeObj argContainer,
     Collection<ICFBamTZDateDefObj> argDataCollection,
     ICFBamSwingTZDateDefChosen whenChosen) {
   super();
   final String S_ProcName = "construct-schema-focus";
   if (argSchema == null) {
     throw CFLib.getDefaultExceptionFactory()
         .newNullArgumentException(getClass(), S_ProcName, 1, "argSchema");
   }
   if (whenChosen == null) {
     throw CFLib.getDefaultExceptionFactory()
         .newNullArgumentException(getClass(), S_ProcName, 5, "whenChosen");
   }
   setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
   // argFocus is optional; focus may be set later during execution as
   // conditions of the runtime change.
   swingSchema = argSchema;
   swingPickerJPanel =
       argSchema
           .getTZDateDefFactory()
           .newPickerJPanel(argFocus, argContainer, argDataCollection, whenChosen);
   setSwingFocusAsTZDateDef(argFocus);
   setSwingDataCollection(argDataCollection);
   setSwingContainer(argContainer);
   setContentPane(swingPickerJPanel);
   Dimension dim = new Dimension(1024, 480);
   setSize(dim);
   dim = new Dimension(320, 240);
   setMinimumSize(dim);
   setTitle("Pick a TZDateDef");
   setIconifiable(true);
   setMaximizable(true);
   setResizable(true);
   setClosable(false);
   setPanelMode(CFJPanel.PanelMode.View);
 }