Update src/linv1.java