updated JFactExtractor and JFragmentLocator to include method overloading