public void addSmap(int srcLine){
  if (extraSmap == null) {
    extraSmap=new ArrayList<Integer>();
  }
  extraSmap.add(Integer.valueOf(srcLine));
}

public void addSmap ( int srcLine ) { if ( extraSmap == null ) { extraSmap = new ArrayList < Integer > ( ) ; } extraSmap . add ( Integer . valueOf ( srcLine ) ) ; }
add a source to java line mapping
