Further work on new example graph WangTing2014.
Added java doc and remark whether we want to allow to substitute a variable by another variable (especially for example \tau -> \epsilon).
Replaced 𝜈 and 𝜏 with \u03BD and \u2CA7. Let's test unicode support.
Added WangTing2014() to menu bar.