question: get an attribute from a jar file concode_field_sep Manifest manifest concode_elem_sep JarInputStream jarIn concode_elem_sep Attributes.Name RIO_BUILD concode_field_sep Attributes getEntry concode_elem_sep void close concode_elem_sep String getRioBuild
target: String function ( Attributes . Name arg0 ) { if ( manifest == null ) throw new IllegalArgumentException ( "srini_string" ) ; Attributes loc0 = manifest . getMainAttributes ( ) ; if ( loc0 == null ) return null ; return ( String ) loc0 . get ( arg0 ) ; }