A State Abstraction for Coordination in Java-like Languages