morph Reserve2Java: Reserve ==> Java {
  metamorph AcqIds(): Identifiers ==> Statement;
  metamorph RelIds(): Identifiers ==> Statement;

  Statement[reserve](Is,S) Is.AcqIds()=>Ac, S()=>S, Is.RelIds()=>Re ==> << { <Ac> <S> <Re> } >>

  AcqIds[one](I) ==> << acquire( <I> ); >>
  AcqIds[more](I,Is) Is.AcqIds()=>Is ==> << { acquire( <I> ); <Is> } >>

  RelIds[one](I) ==> << release( <I> ); >>
  RelIds[more](I,Is) Is.RelIds()=>Is ==> << { <Is> release( <I> ); } >>

}