“q|p − 1”中的竖线是什么意思

在论文《安全的高效无证书加密》中公共云中的数据共享，第2.3节说：

KGC 将安全参数 k 作为输入，生成两个素数 p 和 q，使得 q|p − 1.

什么是 q|p − 1 的意思是什么？是 q = 1 − p 吗？我想要求澄清，因为我编写的代码只生成两个随机的大素数：

Random rand = new Random();
BigInteger p = BigInteger.genPseudoPrime(128, 10, rand);
Random rand2 = new Random();
BigInteger q = BigInteger.genPseudoPrime(128, 10, rand2);
do{ q = BigInteger.genPseudoPrime(128, 10, rand2); }
while (p == q);

这是可以接受的吗？如果没有，我应该如何编写代码？

编辑：
我可以知道我应该怎么写代码吗？是否可以像生成p，生成q，如果p = q，则重新生成它，然后如果(p-1(%q/= 0，重新生成q或其他东西？或者有什么更好的方法？

谢谢！