minor, eclipse fixes
minor, eclipse fixes