private void delete_obj_property(Database database, String name, String type, String propname)
            throws DevFailed {
        if (!database.isAccess_checked()) checkAccess(database);

        //	Format input parameters as strin array
        //--------------------------------------------
        String[] array;
        array = new String[1];
        array[0] = propname;

        delete_obj_property(database, name, type, array);
    }
private void delete_obj_property ( Database database , String name , String type , String propname ) throws DevFailed { if ( ! database . isAccess_checked ( ) ) checkAccess ( database ) ; String [ ] array ; array = new String [ 1 ] ; array [ 0 ] = propname ; delete_obj_property ( database , name , type , array ) ; }
==========================================================================