void () { addEnvironmentClass(""" public class FException extends Exception { @Override public void printStackTrace() { super.printStackTrace(); } } """); doStatementTest("new FException()./*Call to 'printStackTrace()' should probably be replaced with more robust logging*/printStackTrace/**/();"); }