Unexpected difference between IValue method names

[BertLisser]

Created 2011-03-10 by davy.landman+cwi@gmail.com assigned to jurgenv@cwi.nl

I just noticed the following difference:

To get the java string behind a IString, you use the method IString.getValue();
But to get the java integer behind an IInteger, you use the method IInteger.intValue();