I finally managed to implement a PhpTypeProvider class. I'm running into a deadlock when I rename a class.
It seems that the deadlock appears when trying to access the phpIndex like this:
Do you have any advice on how to check whether it is safe to access the phpIndex? Please note that I'm a complete newbie in plugin (and even java)-development.
Any help is appreciated, thanks and regards