/* Class85 - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */

public class Class85
{
    int anInt1199;
    int anInt1200;
    int anInt1201;
    
    Class85(Class85 class85_0_) {
	((Class85) this).anInt1199 = ((Class85) class85_0_).anInt1199;
	((Class85) this).anInt1200 = ((Class85) class85_0_).anInt1200;
	((Class85) this).anInt1201 = ((Class85) class85_0_).anInt1201;
    }
    
    Class85() {
	/* empty */
    }
}
