Change name from legiomine to legiolist

build.gradle

@@ -14,7 +14,7 @@ buildscript {
 
 ext {
   mineRelease = project.hasProperty('release') ? "." + release : ''
-  mineName = "legiomine"
+  mineName = "legiolist"
   minePropertyFileName = "${mineName}.properties$mineRelease"
   minePropertyFile = "${System.env.HOME}/.intermine/$minePropertyFileName"
   println "Using properties file: '$minePropertyFile'"

dbmodel/build.gradle

@@ -23,7 +23,7 @@ dependencies {
 }
 
 dbModelConfig {
-    mineName = "legiomine"
+    mineName = "legiolist"
     objectStoreName = "os.production"
     modelName = "genomic"
     defaultInterminePropertiesFile = "default.intermine.production.properties"

settings.gradle

-rootProject.name = 'legiomine'
+rootProject.name = 'legiolist'
 
 include ':dbmodel',':webapp'
 

webapp/build.gradle

@@ -52,7 +52,7 @@ def props = new Properties()
 file(minePropertyFile).withInputStream { props.load(it) }
 
 webappConfig {
-    mineName = "legiomine"
+    mineName = "legiolist"
     objectStoreName = "os.production"
     userProfileObjectStoreName = "os.userprofile-production"
     userProfileObjectStoreWriterName = "osw.userprofile-production"