I've seen that you recently worked on some patch to correct problems with type inference evaluators (Bug 453737 - Tag @var doesn't work well with array types).

I ran FindBugs some time ago and found some bugs related to the usage of String#split().

Maybe they are still some pending bugs concerning type inference evaluators, but

Ido not feelcomfortable enough about these parts of code, so maybe you could help ;)

What I find strange is the way that some evaluators (from packages org.eclipse.php.internal.core.typeinference.evaluators.*) are splitting types using String#split("\\|") and handling brackets (for array type declarations).