push(@inputfiles, $inputPathPrefix . "/test4.xml");
        push(@inputfiles, $inputPathPrefix . "/test5.xml");
        push(@inputfiles, $inputPathPrefix . "/test6.xml");
        push(@inputfiles, $inputPathPrefix . "/test7.xml");