Dia format stencil examples for JGraphX