/* Class470 - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */
import java.io.File;

public class Class470
{
    public static String aString5331;
    public static String aString5332;
    public static String aString5333;
    static String aString5334;
    static Class634 aClass634_5335;
    
    static {
	String string = "Unknown";
	try {
	    string = System.getProperty("java.vendor").toLowerCase();
	} catch (Exception exception) {
	    /* empty */
	}
	string.toLowerCase();
	string = "Unknown";
	try {
	    string = System.getProperty("java.version").toLowerCase();
	} catch (Exception exception) {
	    /* empty */
	}
	string.toLowerCase();
	string = "Unknown";
	try {
	    string = System.getProperty("os.name").toLowerCase();
	} catch (Exception exception) {
	    /* empty */
	}
	aString5331 = string.toLowerCase();
	string = "Unknown";
	try {
	    string = System.getProperty("os.arch").toLowerCase();
	} catch (Exception exception) {
	    /* empty */
	}
	aString5332 = string.toLowerCase();
	string = "Unknown";
	try {
	    string = System.getProperty("os.version").toLowerCase();
	} catch (Exception exception) {
	    /* empty */
	}
	aString5334 = string.toLowerCase();
	aString5333 = String.format("%s (%s) [%s]",
				    new Object[] { aString5331, aString5332,
						   aString5334 });
	string = "~/";
	try {
	    string = System.getProperty("user.home").toLowerCase();
	} catch (Exception exception) {
	    /* empty */
	}
	new File(string);
    }
    
    Class470() throws Throwable {
	throw new Error();
    }
    
    static final void method5774(Class211 class211, Class203 class203,
				 Class612 class612, byte i) {
	class211.anInt2281
	    = ((((Class612) class612).anIntArray8021
		[(((Class612) class612).anInt8022 -= 201091009) * -40654783])
	       * 1147705141);
    }
    
    public static void method5775(int i, short i_0_) {
	synchronized (Class563.aClass178_7578) {
	    Class563.aClass178_7578.method2666(i, -425055552);
	}
	synchronized (Class563.aClass178_7582) {
	    Class563.aClass178_7582.method2666(i, 1837548818);
	}
    }
}
