We could then specify in which file one can find message definition. Currently javadoc includes the set of json files that were given as jvpp_gen.py input.