How to debug Arduino IDE with IntelliJ or Eclipse

Development Tools IDE 1.x
3

I figured out myself. I could not get Jetbrains IntelliJ up and running, but switched to Eclipse which works after a tricky undocumented configuration.