float qual;
<BUG>ImageFormat(String id, String ext, float quality) {
this.id = id;
this.ext = ext;
this.qual = quality;
}</BUG>
public String getID() { return id; }
<BUG>public String getFileExt() { return ext; }

public float getQuality() { return qual; }
public static ImageFormat fromID(String imgfmt) {</BUG>
for(ImageFormat i_f : MapType.ImageFormat.values()) {

float qual;
ImageEncoding enc;
ImageFormat(String id, float quality, ImageEncoding enc) {
this.id = id;
this.qual = quality;
this.enc = enc;
}
public String getID() { return id; }
public String getFileExt() { return enc.getFileExt(); }
public float getQuality() { return qual; }
public ImageEncoding getEncoding() { return enc; }
public static ImageFormat fromID(String imgfmt) {
for(ImageFormat i_f : MapType.ImageFormat.values()) {
