From 67dd6953ad15d3b3f962b279cc8d401a6abb92b3 Mon Sep 17 00:00:00 2001
From: Kevin Wayne <wayne@cs.princeton.edu>
Date: Sat, 31 Mar 2018 08:40:13 -0400
Subject: [PATCH] add groupID for maven-source-plugin

---
 pom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pom.xml b/pom.xml
index 6cede44a7..1ba2f9370 100644
--- a/pom.xml
+++ b/pom.xml
@@ -63,6 +63,7 @@
 						</configuration>
 					</plugin>
 					<plugin>
+						<groupId>org.apache.maven.plugins</groupId>
 						<artifactId>maven-source-plugin</artifactId>
 						<version>3.0.1</version>
 						<executions>