front: Substitute symbols for magic numbers in TextureInfo.java.