349350351352353354355356357358359
switch(extensionID) { case EXTENSION_ID_PS: if(!psExtensionRead) { psExtensionRead = true; if(ps==null) ps = new PS(); ret = ps.decode(in); if(!psUsed&&ps.hasHeader()) psUsed = true; } else ret = 0; break;