Trouble with UARTMon

hi

i am using ccsv6.1.3   tirtos_tivac_2_16_01_14    on   DK-TM4C129X ( TM4C129XNCZAD MCU)   windows7

I went through ti-rtos user guide chapter6-TI-RTOS Utilities(abt UARTMon)

I made a simply rtsc project with  a task that blinks an led and a variable that increments with each toggle in the this task.

#include <xdc/std.h>
#include <xdc/runtime/System.h>
#include <ti/sysbios/BIOS.h>
#include <ti/sysbios/knl/Task.h>
#include <ti/drivers/GPIO.h>
#include <ti/drivers/UART.h>
#include "Board.h"
#include <stdint.h>
int count=0;
void led(void)
{
    while (1) {
    	Task_sleep(1000);
    	count++;
        GPIO_toggle(Board_LED0);
    }
}
void main(void)
{
    Board_initGeneral();
    Board_initGPIO();
    Board_initUART();
    BIOS_start();
}

I want to access this variable (count) over the uart with uartmon module.

I followed the steps mentioned in the document-BUT in the debug configuration window the .ccxml file i created doesnot appear.

its said in the doc:

(If your target configuration file is not listed under the Device
Debugging category, close this dialog, launch the target configuration, and then re-open the Debug
Configuration dialog to cause the new target configuration to be listed.)

What does it mean to launch and how is it done?

thanks