Massive renaming

Remove 'Devil' from beginning of most names
Devil.java documentation.