A Java-like language with support for atomics