synchronize
Merge branch 'goku' of https://github.com/wulinzhu/Breeze-Tool.git into
goku

Conflicts:
	org.sjtu.radlab.breeze.diagram/src/com/goku/breeze/ui/editor/RBDModelEditor.java