Dia format example stencils for JGraphX