javamanager/javaregistry/legacy/server/inc/javaregproperty.h
changeset 23 98ccebc37403
parent 21 2a9601315dfc