tools.rmiserver
Classes 
JinniPrologServer
JinniPrologServerParameters
JinniRmiImpl
JinniRmiShutdownClient
JinniRmiTestClient