Fixed Event-B component names in messages
Adjusted port connection handles
Fixed parameter entry
Removed redundant tool palette items