Update LineNumber.java

Changed ArrayList<Integer> from ln to nums because we often referred to ListNumbers as ln in Proof.
Merge pull request #5 from chashemi/patch-2

CH: Update LineNumber.java