Java - Identificar S.O

//Identificamos el sistema operativo para poder acceder por su ruta al

//fichero de forma correcta.

String osName = System.getProperty("os.name");

String [] a = null;

if (osName.toUpperCase().contains("WIN")){ //Windows

	if (args.length > 0)

		nombreFichero = args[0].replace("\\", "\\\\");

		//Hemos recibido la ruta del fichero en la línea de comandos

	else{

		nombreFichero = "buffer.txt";

		//Fichero que se utilizará por defecto

	}

}else{ //GNU/Linux

	if (args.length > 0)

		nombreFichero = args[0];

		//Hemos recibido la ruta del fichero en la línea de comandos

	else{

		nombreFichero = "buffer.txt";

		//Fichero que se utilizará por defecto

	}

public static void main(String[] args) {

	ficheroArgumentos(args);

}

public static void ficheroArgumentos(String[] argumentos){

	File archivo=null;

	String nombreFichero = "";

	try{

		//Rediregimos salida y error estándar a un fichero

		//Al quitar el ",true" de File borrar el fichero siempre al comienzo.

		PrintStream ps = new PrintStream(new BufferedOutputStream(new FileOutputStream(

						 new File("javalog_suministrador.txt"))), true);

		// Redirigir la salida estándar al fichero javalog_suministrador.txt

		System.setOut(ps);

		// Redirigir la salida de error estándar al fichero javalog_suministrador.txt

		System.setErr(ps);

	}catch(Exception e){

		System.err.println("Suministrador. No he podido redirigir salidas.");

	}

	//Identificamos el sistema operativo para poder acceder por su ruta al

	//fichero de forma correcta.

	String osName = System.getProperty("os.name");

	String [] a = null;

	if (osName.toUpperCase().contains("WIN")){ //Windows

		if (argumentos.length > 0)

			nombreFichero = argumentos[0].replace("\\", "\\\\");

			//Hemos recibido la ruta del fichero en la línea de comandos

		else{

			nombreFichero = "buffer.txt";

			//Fichero que se utilizará por defecto

		}

	}else{ //GNU/Linux

		if (argumentos.length > 0)

			nombreFichero = argumentos[0];

			//Hemos recibido la ruta del fichero en la línea de comandos

		else{

			nombreFichero = "buffer.txt";

			//Fichero que se utilizará por defecto

		}

	}

	archivo = new File(nombreFichero);

	// Borramos el archivo si existe y lo creamos de nuevo para vaciar el contenido.

	archivo.delete();

	try {

		archivo.createNewFile();

	}catch(IOException ioe) {

		ioe.printStackTrace();

	}

	// Se genera un numero aleatorio entre el 1 y el 10, es la cantidad de datos que va a escribir en el fichero de datos

	int veces=(int) Math.round (Math.random()*9)+1; // de 1 a 10.

		System.out.println("Se va ha realizar "+veces+" veces.");

	RandomAccessFile raf = null;

	FileLock bloqueo = null;

	for (int i=0;i<veces;i++){//escribiremos las veces que nos diga la variable "veces" de datos.

		// Se genera un numero aleatorio entre el 1 y el 10.

		int numAleatorios=(int) Math.round (Math.random()*(99-(-99)+1)-99); // de -99 a 99 (HASTA-DESDE+1)+DESDE); 

		System.out.println(numAleatorios);

		try{

			//Abrimos el fichero en lectura y escritura permitiendo sincronismo

			raf = new RandomAccessFile(archivo,"rwd");

			//***************

			//Sección crítica

			bloqueo = raf.getChannel().lock();

			//bloqueamos el canal de acceso al fichero. Obtenemos el objeto que

			//representa el bloqueo para después poder liberarlo

			System.out.println("Suministrador: ENTRA sección");

			// Lectura del fichero

			// comprueba si el fichero está vacío

			if (raf.length() == 0){

			   raf.writeInt(numAleatorios); //escribimos el valor

			   System.out.println("Suministrador: valor escrito " + numAleatorios);

			   //i ++;

			}else

				System.out.println("Suministrador: no puede escribir.");

			System.out.println("Suministrador: SALE sección");

			bloqueo.release(); //Liberamos el bloqueo del canal del fichero

			bloqueo = null;

			//Fin sección crítica

			//*******************

			Thread.sleep(500); //Simulamos tiempo de creación del dato

		}catch(Exception e){

			System.err.println("Suministrador. Error al acceder al fichero.");

			System.err.println(e.toString());

		}finally{

			try{

				if( null != bloqueo)

					bloqueo.release(); // liberar el bloqueo del canal del fichero

				if( null != raf )

					raf.close();  // cerrar el fichero

			}catch (Exception e2){

				System.err.println("Suministrador. Error al cerrar el fichero.");

				System.err.println(e2.toString());

				System.exit(1);  //Si hay error, finalizamos

			}

		}

	}

}

//Identificamos el sistema operativo para poder acceder por su ruta al fichero de forma correcta.

////	String osName = System.getProperty("os.name");

////	if (osName.toUpperCase().contains("WIN")){ //Windows

////            if (args.length > 0)

////                nombreFichero = args[0].replace("\\", "\\\\");

////                //Hemos recibido la ruta del fichero en la línea de comandos

////            else{

                nombreFichero = "buffer.txt";

////                //Fichero que se utilizará por defecto

////            }

////	}else{ //GNU/Linux

////            if (args.length > 0)

////                nombreFichero = args[0];

////                //Hemos recibido la ruta del fichero en la línea de comandos

////            else{

////                nombreFichero = "buffer.txt";

////                //Fichero que se utilizará por defecto

////            }

////	}