Added tests for StubJvmTypeProvider