public void METHOD_1 ( java.io.File file ) throws java.io.IOException { counter = 0 ; if ( ( VAR_1 ) != null ) { VAR_1 . METHOD_2 ( ) ; } else { if ( file . getName ( ) . METHOD_3 ( STRING_1 ) ) { VAR_1 = new java.io.BufferedReader ( new TYPE_1 ( new TYPE_2 ( new java.io.FileInputStream ( file ) ) ) ) ; } else { VAR_1 = new java.io.BufferedReader ( new java.io.FileReader ( file ) ) ; } } }

public void METHOD_1 ( java.io.File file ) throws java.io.IOException { counter = 0 ; if ( ( VAR_1 ) != null ) { VAR_1 . METHOD_2 ( ) ; } if ( file . getName ( ) . METHOD_3 ( STRING_1 ) ) { VAR_1 = new java.io.BufferedReader ( new TYPE_1 ( new TYPE_2 ( new java.io.FileInputStream ( file ) ) ) ) ; } else { VAR_1 = new java.io.BufferedReader ( new java.io.FileReader ( file ) ) ; } }
