I'm trying to determine how to enable SSL communications with the BaseX server,  I have a java server which communicates with BaseX over its REST API for running xquery's.  I see in the BaseX changelog that SSL support was added to version 7.5 in 2012 but I haven't been able to find any references to it in the documentation.  

I found some statements in the jetty.xml file which are commented out and would appear to enable SSL on port 8986.  But I'm not at all familiar with jetty.  Is there some documentation available for enabling this support?

Thanks in advance!

Giavanna Richards