#21 made ConfigurationSpecificationInteger.java serializable in gwt