Adding a timer instance to the ti.sysbios.hal.Timer module will not allow me to change the "name" property. When I do it returns with "null" and so I cannot have more than one timer. I am using xdctools_3_20_08_88 and CCS4.2.1.00004. This is for a Stellaris ARM processor.