Servlet module checkpoint: new properties-based config supported from multiple locations