restore original source

Tools/Authoring/PixelTextureGenerator.java

@@ -8,7 +8,7 @@
  * Revised 23 February 2005, Don Brutzman
  * Revised 4 January 2006, Don Brutzman
  * Revised 3 January 2007, Don Brutzman
- * Revised 10 N0vember 2018, Don Brutzman
+ * Revised 10 November 2018, Don Brutzman
  */
 
 import java.awt.*;