A framework for building MCP servers in Java