Update LineNumber.java

Changed ArrayList<Integer> from ln to nums because we often referred to ListNumbers as ln in Proof.