/**
 * java/lang/Number.idl
 * Generated by rmic -idl. Do not edit
 * Mittwoch, 10. April 2002 13.12 Uhr CEST
 */

#include "orb.idl"

#ifndef __java_lang_Number__
#define __java_lang_Number__


module java {
module lang {

    valuetype Number {
    };

#pragma ID Number "RMI:java.lang.Number:071DA8BE7F971128:86AC951D0B94E08B"

};
};

#endif

