right_floats.add(block); offset_map.put(block, getOffset());
persistentBFC.right_floats.add(block); persistentBFC.offset_map.put(block, getOffset());
    public void addRightFloat(Box block) {        //Uu.p("adding a right float: " + block);        right_floats.add(block);        offset_map.put(block, getOffset());    }