class rename for uniqueness

examples/DisDemo/nbproject/project.properties

@@ -72,7 +72,7 @@ javadoc.version=false
 javadoc.windowtitle=DIS Square Box Demo
 jlink.launcher=false
 jlink.launcher.name=DisDemo
-main.class=DisDemo.DisDemo
+main.class=DisDemo.DisDemonstration
 manifest.file=manifest.mf
 meta.inf.dir=${src.dir}/META-INF
 mkdist.disabled=false

examples/DisDemo/src/DisDemo/DisDemo.java → examples/DisDemo/src/DisDemo/DisDemonstration.java

@@ -19,7 +19,7 @@ import java.util.*;
  *
  * @author DMcG
  */
-public class DisDemo {
+public class DisDemonstration {
 
     /**
      * Program invocation, execution starts here