private static java.lang.String METHOD_1 ( java.lang.String filename ) throws java.io.IOException { <BUG> java.io.BufferedReader VAR_1 = new java.io.BufferedReader ( new java.io.FileReader ( filename ) , INT_1 ) ;try {</BUG> return VAR_1 . METHOD_1 ( ) ; <BUG> }finally {VAR_1 . METHOD_2 ( ) ;</BUG> } }
private static java.lang.String METHOD_1 ( java.lang.String filename ) throws java.io.IOException { try ( java.io.BufferedReader VAR_1 = new java.io.BufferedReader ( new java.io.FileReader ( filename ) , INT_1 ) ) { return VAR_1 . METHOD_1 ( ) ; } } 
