forced jgraphx to render the labels as latex labels