static void printPrecision ( double d ) {
  DecimalFormat ft = new DecimalFormat ( "0.00000000000" ) ;
  ;
}

static void printPrecision ( double d ) { DecimalFormat ft = new DecimalFormat ( "0.00000000000" ) ; ; }
(method_declaration (modifiers) type: (void_type) name: (identifier) parameters: (formal_parameters (formal_parameter type: (floating_point_type) name: (identifier))) body: (block (local_variable_declaration type: (type_identifier) declarator: (variable_declarator name: (identifier) value: (object_creation_expression type: (type_identifier) arguments: (argument_list (string_literal)))))))