code: protected AbsoluteURI getGeneratedLocation(PersistedTrace trace) {
  		AbsoluteURI path = trace.getPath();
  		String fileName = traceFileNameProvider.getJavaFromTrace(path.getURI().toString());
  		return new AbsoluteURI(fileName);
  	}
docs: Compute the location of the generated file from the given trace file.