<!--<window xmlns='http://ttcn.ericsson.se/protocolModules/xtdp/xtdl' height='386.000000' 
	id='EPTF_Main_Window' orientation='vertical' title='TTCN constructed window' 
	width='820.000000'> -->
<Widgets xmlns='http://ttcn.ericsson.se/protocolModules/xtdp/xtdl'>
  <button 
    checked='false'
    disabled='false'
    flex='1.000000'
    id='jensen'
    label='Jensen'>
  </button>
</Widgets>