This file -  tests/org.jboss.tools.central.test.ui.bot/resources/MavenTest.launch - is explicitly listed in the resources/.gitignore file, so when I moved it and moved it back, it was deleted. Should it be kept?