teiid/teiid — pull request #75 by rareddy (2013-05-23 13:38:46+00:00)
Title: TEIID-2509: To help workaround the duplicate resource-adpater exception ...

...adding a method to restart the server which is required when one removes a resource adapter to take effect