Realizing the java monitor structure using a different semantic