docs: public String getInfo() {
  		
  		String ret = "";
  		double[] teDTs = this.getTrajectory().getDTs();
  		double[] teCTs = this.getCTs();
  
  		DecimalFormat df = new DecimalFormat("#0.00");
  		df.setRoundingMode(RoundingMode.HALF_DOWN);
  		ret += this + "\n  Ground envelopes:";
  		for (TrajectoryEnvelope te : this.getGroundEnvelopes()) {
  			ret += "\n    " + te;
  		}
  		ret += "\n\nSeq\tDT\tCT\n------------------------------------------\n";
  		for (int i = 0; i < teDTs.length; i++) {
  			ret += i + "\t" + df.format(teDTs[i]) + " \t" + df.format(teCTs[i]);
  			if (i < teDTs.length-1) ret += "\n";
  		}
  		return ret;
  	}