3c96099f7c
- Use another API to get file name out of a javac diagnostic (.getSource().getName()'s behavior changed in JDK 8) - Delete .txt files for those tests which check that javac reported a compilation error; the order and content of declarations in those files is undefined