ConfigFile
object ConfigFile
Props' lowest-priority source: a JSON object whose keys ARE the -D property names, so the flag tables in the README are its whole schema and there is no second vocabulary to keep in step.
Read at init and not watched afterwards: by the time an edit could be noticed the port is bound and the token is baked into the endpoint, so a reload would change nothing.
Values are strings, as -D values are. Gson coerces an unquoted number or boolean, so 25599 and "25599" both work; one it cannot coerce fails the whole file rather than that one key.