catch ( NumberFormatException e1 ) { ExceptionHandler.openErrorMessageBox( ERROR_TITLE_INVALID_LIST_LIMIT, MessageFormat.format( ERROR_MSG_INVALID_LIST_LIMIT, new Object[]{ Integer.toString( Integer.MAX_VALUE ) } ) ); listLimit.setText( oldValue ); }
			public void modifyText( ModifyEvent e )			{				if ( selectedParameter != null						&& selectedParameter != newParameter )				{					try					{						selectedParameter.setDefaultValue( defaultValueEditor.getText( ) );					}					catch ( SemanticException e1 )					{						ExceptionHandler.handle( e1 );					}				}			}