vadere-console.jar migrate sub-command fails because wrong files are converted (#320) · Issues · vadere / vadere