pr316.java

// pr 316
public class foo{
	foo(){
		double a = 1.0/0.0;
	}
}