[controls/ctrl-DimJavaGui.tex]
