It seems JBOSS tools or Spring tools does not work well with OpenJDK. Install Oracle JDK, then edit eclipse.ini, add
-vm
/home/bing/.opt/jdk1.7.0_09/bin/java
Point to the Oracle KDK