Change of data type in Feature1088.java.