small java5 improvement