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,,