Fix line numbers

Attempt at fixing https://github.com/runtimeverification/javamop/issues/5.