removed another Java warning