Closes #914 by @JsonIgnoring Application.getGrcTool()