org.eclipse.jdt.core.tests.model/workspace/Converter/test0035/Test.java

package test0035;
import java.util.*;
public class Test {

	public static void main(String[] args) {
		double d = 1.0;
		short s = (short) d;
	}
}