private void addNonsharedFSToEncompassingFSMapping(int nonsharedFS, int encompassingFS ) { //System.out.println("addNonsharedFSToEncompassingFSMapping" + nonsharedFS + " " + encompassingFS); this.sharedData.addNonsharedRefToFSMapping(nonsharedFS, encompassingFS); } }