JBoss RMI API Spec