ScriptREPL: use service name from @plugin metadata

And fall back to the old behavior of synthesizing a name from the
class name when no name is specified in the @plugin annotation.

Related discussion at:
https://gitter.im/scijava/scijava-common?at=5dcc215f92a84f79fe5da435

This commit is dedicated to Kyle Harrington.

Author: ctrueden

src/main/java/org/scijava/script/ScriptREPL.java

@@ -386,6 +386,11 @@ private List<Gateway> gateways() {
 	}
 
 	private String serviceName(final Service service) {
+		final PluginInfo<?> info = service.getInfo();
+		final String pluginName = info == null ? null : info.getName();
+		// Name was explicitly given in the @Plugin annotation.
+		if (pluginName != null && !pluginName.isEmpty()) return pluginName;
+		// No name was given; synthesize one from the class name.
 		final String serviceName = service.getClass().getSimpleName();
 		final String shortName = lowerCamelCase(
 			serviceName.replaceAll("^(Default)?(.*)Service$", "$2"));