A java monitor