JacORB/JacORB — pull request #47 by zecorsaire (2013-02-12 16:32:56+00:00)
Title: Bug 941 correction

Bug 941 correction