private void addRightParen(Region region){
  if (region != null) {
    mappingVectorNextLine.addElement(new MappingObject.RightParen(region.getEnd()));
  }
}

private void addRightParen ( Region region ) { if ( region != null ) { mappingVectorNextLine . addElement ( new MappingObject . RightParen ( region . getEnd ( ) ) ) ; } }
adds a mappingobject . leftparen object to the mapping vector for the beginning of the region region , if it ' s not null .
