add getOpenFileDescriptorCount() method to implement javax.management API