Account for errors logs by javac when determining whether an exception that proppagates to Main is a bug in the compiler. Also rename some properties to be less confusing. Fixes #1731 (again)