trying to push JavaScanner.jj again