ignore malformed file names outright, e.g. .class files with dollar;
ignore malformed file names outright, e.g. .class files with dollar;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle