id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
1	Namespace of KaRMI stubs	Bernhard Haumacher (haui at haumacher dot de)		"Change the namespace of KaRMI stubs to be different from RMI stubs. This enables the user to experiment with both more easily.
=== Files ===
{{{
sources/uka/karmi/rmic/Constants.djava
}}}
=== Solution ===
Change the extensions to ""_KStub"" for the stub class and ""_KSkel"" for the skeleton class.

'''fixed''' since 1.00.
"	defect	closed	normal	1.00	uka.karmi		normal	fixed