This file is needed to keep maven-source-plugin happy.