LineNumbers.java

package soot_tests;

public class LineNumbers {

	public static void main(String[] args) {
		return;
	}
}