allow default persistence provider to be configured

Allow default persistence provider to be configured, so that a different provider could be used by default. This helps improve our JPA plugability (users preferred persistence provider can become the default).

Without this feature, the user could instead make application changes to the persistence.xml to accomplish the same (not always possible if user cannot make app changes).