/Main.java/1.2/Mon Mar 18 12:41:38 2002//TKDE_3_1_BRANCH
/RangeControls.java/1.1/Sun Mar  3 11:16:10 2002//TKDE_3_1_BRANCH
D
