Fix bug in filterProductions() due to different behaviour between java's Map.put() and c++'s map::insert when the key is already present..
Fix bug in filterProductions() due to different behaviour between java's Map.put() and c++'s map::insert when the key is already present..

egladil/mscthesis,egladil/mscthesis,egladil/mscthesis