K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2006-08-24T20:02:06.000000Z
K 7
svn:log
V 191
Add a workaround to fix a build problem when using osgmlnorm (activated
by $OPENJADE knob).  The reason is still unclear, but it is likely
to be caused by some OpenSP's bug.

Spotted by:	pav

END