[keycloak-dev] keycloak-server.json

In the keycloak-server module, the keycloak-server.json file refers to the ExampleDS datasource[1] instead of KeycloakDS, which is used everywhere in the distribution. If we change this in the main build then we won't need to use the replacer[2] plugin in the dist. But before I push the change I'm wondering if there was a reason it was done that way? Nothing seems to break in the tests when I change it. Should I go ahead push the change? Stan [1] https://github.com/keycloak/keycloak/blob/master/server/src/main/resource... [2] https://github.com/keycloak/keycloak/blob/master/distribution/war-zip/pom...