Services and types supporting concurrent programming in Java.