Remove trailing whitespace in source files.
Small improvements.
A decompiler for J's M1 model from ACL2.