kotlin jps builder: correct implementation of getSourceFiles