Add required variables of the new listener to the config file.
[jpf-core.git] / main.jpf
main.jpf