DeviceManager for SDK 8.2 ME and Raspberry Pi GPIO

Hi

I figured out that there is a problem within the documentation.

https://docs.oracle.com/javame/8.2/get-started-rpi/piportsapdx.htm

This doc should give us the used pin numbers for several predefined devices.

For example:

here we see a predefined device 2 named GPIO7 with pin number 7. This is not correct. The correct pin number should be pinNumber = 26. The other predefined devices have the same problem.

Device 4 corresponds to pinNumber = 12 not to pinNumber = 18 as in the doc.

I try to figure out all the correct pinNumbers and seems that the drawing at the end of the device list might be correct. It is for Raspberry Pi B. For RPi B+ and RPi 2 Mod B further investigation is needed.

My question: where do I have to report errors in the document?

Harald.