Actually, nm. I was simultaneously working another issue regarding what `EMF#getProperties`returns. You mean that a DriverManager-based Connection provider should be used here. That’s true.