double a=211;double c=13;double r=49;double m=4011;double ri=0;double num=0;
     double ar[]=new double [250];double num2=0.0;String ar2[]=new String [250];
     String cast="";
     String salida="";
    try 
    {
      //rf = new RandomAccessFile("aleatorio.dat", "rw");
      DataOutputStream entArch = new DataOutputStream(new FileOutputStream("aleatorio.txt"));
      //RandomAccessFile entArch = new RandomAccessFile("aleatorio.txt", "rw");
        for(int i=0;i<250;i++)
        {
            ri=(a+c*r)%m;
            r = ri;
            num=r/(m-1);
            num = Double.parseDouble( Double.toString( num ).substring( 0 , Double.toString( num ).length()<=7? Double.toString( num ).length() : 7 ) );
 
            ar[i]=num;
        }
     for(int j=0;j<250;j++)
     {
      for(int k=249;k>j;k--)
      {
       if (ar[j]==ar[k])
        { 
           System.exit(0);
        }
        else{ }
      }
     }
      for(int z=0;z<250;z++)
      {
          cast=String.valueOf(ar[z]);
 
          while(cast.length()<7)
          {
             cast=cast+"0";
          }
          ar2[z]=cast;
      }
 
    for (int l=0;l<250;l++)
        {
        entArch.writeDouble(ar[l]);
        int conta=l+1;
        salida +=conta+".- " + ar2[l] +"\n";
        areaSalida.setText(salida);
 
        //System.out.println(ar[l]);
        }
 
   //entArch.writeDouble(num);
    entArch.close();
    }
 
    catch (IOException e) 
    {
      System.out.println ("Error de E/S parte 1:\n"+e.getMessage()); 
    }
 
    //generar.generar_numeros();
}//GEN-LAST:event_jButton2ActionPerformed