for testing with Eclipse