fixed package-declaration bug, that would not have happened with eclipse