Fixed case mixmatch of Answer tag in XML output
Merge pull request #26 from chsticksel/kind2-server

Fixed case mixmatch of Answer tag in XML output