use ThreadedKernel instead of Machine.getStubFileSystem