From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics