JsonDiscovererServlet returns now the XMI. This fixes #4