/Main.java/1.2/Fri Apr 12 18:49:51 2002//TKDE_3_0_BRANCH
/RangeControls.java/1.1/Sun Mar  3 11:16:10 2002//TKDE_3_0_BRANCH
D
