Method setRandom

java/com/jcraft/jsch/Packet.java:35–35

(Random foo)

  private static Random random=null;
  static void setRandom(Random foo){ random=foo;}

  Buffer buffer;
  byte[] ba4=new byte[4];