test whether push is ok
Now RBD and Markov model reliabilty analysis are  turly merged.
Markov Model Analysis of reliability is now realized
fixing bug and updating for rbd and markov
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
add event fta generator
fix bug
daily update
move deadlock checking to new thread;
add dialog to select which specification to be checked;
move fta analysis method to a static class
add find min cut set algorithm
add jfree plugin
synchronize breeze tool linux release version
complete fta analysis;
display minimum cut set, event importance, cut set importance
continue to update jfree plugin
fix bug of min cut set analysis;
add path set analysis;
calculate event probability automatically;
split SafetyEditor into SafetyEditor and CorrectnessEditor;
rename SafetyModelEditor to ModelEditor and it's as main part of
SafetyEditor and CorrectnessEditor;
add fields to describe FMEA;
edit mode infomation in dialog, add method to compare difference between
list of modes
add image manager;
add fmea analysis;
add rpn chart
fix bug of rpc chart displaying;