
The file SignalOperators.java is a copy of the file $InteEclipse_incl/SignalOperators.java
It must be handmade updated (ie it must be copied from $InteEclipse_incl after modifications)