eclipseclp: Source changes to satisfy compiler.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>