public void METHOD_1 ( ) { java.io.File file ; java.lang.String filename = STRING_1 ; try { file = java.io.File . METHOD_2 ( STRING_2 , STRING_3 ) ; filename = file . METHOD_3 ( ) ; TYPE_1 context = new TYPE_1 ( filename ) ; file . delete ( ) ; TYPE_2 . fail ( ) ; } catch ( java.io.IOException VAR_1 ) { TYPE_2 . assertEquals ( VAR_1 . toString ( ) , STRING_4 ) ; new java.io.File ( filename ) . delete ( ) ; } }

public void METHOD_1 ( ) { java.io.File file ; java.lang.String filename = STRING_1 ; try { file = java.io.File . METHOD_2 ( STRING_2 , STRING_3 ) ; filename = file . METHOD_3 ( ) ; new TYPE_1 ( filename ) ; file . delete ( ) ; TYPE_2 . fail ( ) ; } catch ( java.io.IOException VAR_1 ) { TYPE_2 . assertEquals ( VAR_1 . toString ( ) , STRING_4 ) ; new java.io.File ( filename ) . delete ( ) ; } }
