Updated licence header
Added codestyle settings for eclipse formatter
Fixed a bug when handling timeout events in concurrent states.

See Issue #2 - Timeout in concurrent states