Method Tool

corpus/java/training/antlr4-tool/org/antlr/v4/Tool.java:213–213

()

	}

	public Tool() { this(null); }

	public Tool(String[] args) {
		this.args = args;