407408409410411412413414415416417418419420421422423
boolean reached = false; while (!reached) { UpdateSet updateset = pc.waitForUpdates(version); if(updateset==null) { continue; } version = updateset.getVersion(); PropertyFilterUpdate[] filtupary = updateset.getFilterSet(); if (filtupary == null) { continue; }