fix build problem

see https://bugs.eclipse.org/bugs/show_bug.cgi?id=536445
2 files changed