b66931cd7f
I'm pretty sure source files should be ISO-8859-1. If you're more comfortable with entity tags appearing in a /* */ style comment, then maybe that's what we should use for the header text. (The Java Coding Guidlines say you should use a /* */ comment at the top of the file.) git-svn-id: https://samskivert.googlecode.com/svn/trunk@1938 6335cc39-0255-0410-8fd6-9bcaacd3b74c