make Eclipse happy