ErrorCorrectionLevel.java revision 37df04954d55e0107c176067d73e18ae487c0748